This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to annotated tag debian/8.4pl4dfsg-2
in repository coq.
commit fca0afda49e9411f25fc3d0b660b40a3dfd7d4bf
Author: Stephane Glondu <st...@glondu.net>
Date: Wed Jun 17 15:36:29 2015 +0200
Fix compilation with OCaml 4.02
---
debian/changelog | 6 ++++++
.../0003-Fix-compilation-with-OCaml-4.02.patch | 22 ++++++++++++++++++++++
debian/patches/series | 1 +
3 files changed, 29 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 8deffbc..d0a9cf2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.4pl4dfsg-2) UNRELEASED; urgency=medium
+
+ * Fix compilation with OCaml 4.02
+
+ -- Stéphane Glondu <glo...@debian.org> Fri, 19 Jun 2015 19:54:30 +0200
+
coq (8.4pl4dfsg-1) unstable; urgency=medium
* New upstream release (Closes: #755953)
diff --git a/debian/patches/0003-Fix-compilation-with-OCaml-4.02.patch
b/debian/patches/0003-Fix-compilation-with-OCaml-4.02.patch
new file mode 100644
index 0000000..3e5c5e6
--- /dev/null
+++ b/debian/patches/0003-Fix-compilation-with-OCaml-4.02.patch
@@ -0,0 +1,22 @@
+From: Stephane Glondu <st...@glondu.net>
+Date: Wed, 17 Jun 2015 15:36:10 +0200
+Subject: Fix compilation with OCaml 4.02
+
+---
+ kernel/univ.ml | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/kernel/univ.ml b/kernel/univ.ml
+index 822f6ca..53342dd 100644
+--- a/kernel/univ.ml
++++ b/kernel/univ.ml
+@@ -226,7 +226,7 @@ let reprleq g arcu =
+
+
+ (* between : UniverseLevel.t -> canonical_arc -> canonical_arc list *)
+-(* between u v = {w|u<=w<=v, w canonical} *)
++(* between u v = (w|u<=w<=v, w canonical) *)
+ (* between is the most costly operation *)
+
+ let between g arcu arcv =
+--
diff --git a/debian/patches/series b/debian/patches/series
index a264977..3404177 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch
0002-Disable-micromega-tests-on-Hurd.patch
+0003-Fix-compilation-with-OCaml-4.02.patch
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git
_______________________________________________
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
