[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-5-1-gd6d7c07

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d6d7c079d73b8e77cb272fd001cb655401d59285
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 15 13:41:08 2010 +0200

    Rebuild against OCaml 3.11.2

diff --git a/debian/changelog b/debian/changelog
index 1556b88..946cf16 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ssreflect (1.2+dfsg-6) unstable; urgency=low
+
+  * Rebuild against OCaml 3.11.2
+
+ -- Stéphane Glondu <glondu at debian.org>  Thu, 15 Jul 2010 13:41:07 +0200
+
 ssreflect (1.2+dfsg-5) unstable; urgency=low
 
   * Rebuild with Coq 8.2pl2

-- 
ssreflect packaging