The following commit has been merged in the master branch:
commit 7f1a0852fcf642dd2a98df7ef8ff33c18b00ab7a
Author: Stephane Glondu <st...@glondu.net>
Date:   Sun Dec 25 16:46:40 2011 +0100

    Remove obsolete patch

diff --git a/debian/patches/0001-Fix-build-with-Coq-8.3.patch 
b/debian/patches/0001-Fix-build-with-Coq-8.3.patch
deleted file mode 100644
index 3f65fa3..0000000
--- a/debian/patches/0001-Fix-build-with-Coq-8.3.patch
+++ /dev/null
@@ -1,23 +0,0 @@
-From: Stephane Glondu <st...@glondu.net>
-Date: Fri, 11 Feb 2011 18:07:21 +0100
-Subject: Fix build with Coq 8.3
-
-Signed-off-by: Stephane Glondu <st...@glondu.net>
----
- Others/IEEE.v |    2 +-
- 1 files changed, 1 insertions(+), 1 deletions(-)
-
-diff --git a/Others/IEEE.v b/Others/IEEE.v
-index 2c9721c..e8eb361 100644
---- a/Others/IEEE.v
-+++ b/Others/IEEE.v
-@@ -8,7 +8,7 @@
- 
- 
- Require Export Bvector.
--Require Export Zbinary.
-+Require Export Zdigits.
- Require Export AllFloat.
- 
- Section IEEEdefs.
--- 
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index e20b1ec..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-0001-Fix-build-with-Coq-8.3.patch

-- 
coq-float packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to