This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository coq-doc.
commit ca67dd6e1ceafd5f6daf2beed260aa2092af01db
Author: Ralf Treinen <trei...@free.fr>
Date: Thu Feb 11 08:28:29 2016 +0100
fix ftbfs "unterminated string literal"
---
debian/changelog | 7 +++++++
debian/patches/series | 1 +
debian/patches/unterminated_string_literal | 17 +++++++++++++++++
3 files changed, 25 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 78ca094..4913d35 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coq-doc (8.4pl4-2) unstable; urgency=medium
+
+ * Team upload
+ * patch unterminated_string_literal: fix FTBFS with ocaml 4.02.3
+
+ -- Ralf Treinen <trei...@debian.org> Thu, 11 Feb 2016 08:48:56 +0100
+
coq-doc (8.4pl4-1) unstable; urgency=medium
* New upstream release
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..f0607cd
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+unterminated_string_literal
diff --git a/debian/patches/unterminated_string_literal
b/debian/patches/unterminated_string_literal
new file mode 100644
index 0000000..cc1973a
--- /dev/null
+++ b/debian/patches/unterminated_string_literal
@@ -0,0 +1,17 @@
+Author: Ralf Treinen <trei...@debian.org>
+Description: fix FTBFS "unterminated string literal" with ocaml 4.02.3
+Debian-bug: 813063
+
+Index: coq-doc/kernel/univ.ml
+===================================================================
+--- coq-doc.orig/kernel/univ.ml 2016-02-11 08:12:56.448329274 +0100
++++ coq-doc/kernel/univ.ml 2016-02-11 08:27:43.756005774 +0100
+@@ -226,7 +226,7 @@
+
+
+ (* 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 =
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.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
