From 0df132d1c1cd28db10b4ee664230f8043e9006b9 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 16 Jun 2006 14:41:51 +0000
Subject: New upstream release.

---
 debian/patches/00list | 1 -
 1 file changed, 1 deletion(-)

(limited to 'debian/patches/00list')

diff --git a/debian/patches/00list b/debian/patches/00list
index 55a135be..cafb071e 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,4 +1,3 @@
 coqdoc_stdlib
-failing_tests
 browser
 makefile
-- 
cgit v1.2.3