[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.2-1.2-5-3-g1898ce2

[Stephane Glondu]

The following commit has been merged in the master branch:
commit e72401b66c22f38a3f32daaa5af303a426ba536e
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Feb 11 18:07:57 2011 +0100

    Add patch to fix build with Coq 8.3

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..845ca06
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+.pc
diff --git a/debian/patches/0001-Fix-build-with-Coq-8.3.patch b/debian/patches/0001-Fix-build-with-Coq-8.3.patch
new file mode 100644
index 0000000..3f65fa3
--- /dev/null
+++ b/debian/patches/0001-Fix-build-with-Coq-8.3.patch
@@ -0,0 +1,23 @@
+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
new file mode 100644
index 0000000..e20b1ec
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Fix-build-with-Coq-8.3.patch
diff --git a/debian/source/local-options b/debian/source/local-options
new file mode 100644
index 0000000..c4cf480
--- /dev/null
+++ b/debian/source/local-options
@@ -0,0 +1,2 @@
+abort-on-upstream-changes
+unapply-patches

-- 
coq-float packaging