[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/1%8.2-1.2-9-5-g7f1a085

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7f1a0852fcf642dd2a98df7ef8ff33c18b00ab7a
Author: Stephane Glondu <steph at 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 <steph at glondu.net>
-Date: Fri, 11 Feb 2011 18:07:21 +0100
-Subject: Fix build with Coq 8.3
-
-Signed-off-by: Stephane Glondu <steph at 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