From f9f576e1414f75ad762302ac3a485a82e0eb2179 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 24 Dec 2010 11:58:19 +0100 Subject: New upstream release, update changelog --- debian/patches/series | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 debian/patches/series (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index de7a4950..00000000 --- a/debian/patches/series +++ /dev/null @@ -1,3 +0,0 @@ -0001-Fix-missing-coqlib-argument-to-coqdep-in-test-suite.patch -0002-Fix-mixed-implicit-and-normal-rules.patch -0003-Support-for-camlp5-6.02.1.patch -- cgit v1.2.3