[Pkg-ocaml-maint-commits] [coq-doc] 01/01: fix ftbfs "unterminated string literal"

[Ralf Treinen]

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 <treinen at 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 <treinen at 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 <treinen at 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