[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-6-2-g3b52160

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 3b521607f4f982f88088a329d864d4f1432052f6
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Feb 22 11:22:46 2011 +0100

    Prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 946cf16..4f9ffad 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+ssreflect (1.2+dfsg-7) unstable; urgency=low
+
+  * Rebuild against camlp5 6.02.1
+  * Bump versioned build-dependency to libcoq-ocaml-dev to ease camlp5
+    transition
+
+ -- Stéphane Glondu <glondu at debian.org>  Tue, 22 Feb 2011 11:22:15 +0100
+
 ssreflect (1.2+dfsg-6) unstable; urgency=low
 
   * Rebuild against OCaml 3.11.2
diff --git a/debian/control b/debian/control
index 8b09c60..03525c9 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,7 @@ Uploaders: Stéphane Glondu <glondu at debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
  coq (>= 8.2.pl1+dfsg-4~),
- libcoq-ocaml-dev,
+ libcoq-ocaml-dev (>= 8.2.pl2+dfsg-2~),
  dh-ocaml (>= 0.9~),
  camlp5 (>= 5.12-2~),
  ocaml-best-compilers,

-- 
ssreflect packaging