[Pkg-ocaml-maint-commits] [SCM] janest-core-kernel packaging branch, master, updated. upstream/109.32.00-10-g9533aee

[Lifeng Sun]

The following commit has been merged in the master branch:
commit 9533aee3a07b217367388b711481fc03b69827bc
Author: Lifeng Sun <lifongsun at gmail.com>
Date:   Fri Jul 26 11:20:14 2013 +0800

    fix documentation to avoid FTBFS.

diff --git a/debian/changelog b/debian/changelog
index 9673970..7e69b14 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,5 @@
-janest-core-kernel (109.32.00-1) UNRELEASED; urgency=low
+janest-core-kernel (109.35.00-1~exp1) UNRELEASED; urgency=low
 
-  * Initial release (Closes: #xxxxxx)
+  * Initial release (Closes: #717760)
 
- -- Lifeng Sun <lifongsun at gmail.com>  Tue, 23 Jul 2013 22:28:56 +0800
+ -- Lifeng Sun <lifongsun at gmail.com>  Fri, 26 Jul 2013 09:03:40 +0800
diff --git a/debian/patches/fix-documentation-to-avoid-FTBFS.patch b/debian/patches/fix-documentation-to-avoid-FTBFS.patch
new file mode 100644
index 0000000..bcd7a64
--- /dev/null
+++ b/debian/patches/fix-documentation-to-avoid-FTBFS.patch
@@ -0,0 +1,14 @@
+fix documentation to avoid FTBFS.
+
+--- a/lib/heap.mli
++++ b/lib/heap.mli
+@@ -14,7 +14,8 @@
+     type 'a t with sexp_of
+ 
+     (** [value_exn t] return the value in the heap controlled by this token if the value
+-        is still in the heap.  @raise otherwise. *)
++        is still in the heap.  Otherwise raises an error with message
++        "Option.value_exn None". *)
+     val value_exn : 'a t -> 'a
+   end
+ 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..2e4badb
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+fix-documentation-to-avoid-FTBFS.patch

-- 
janest-core-kernel packaging