[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl2+dfsg-1-3-g9a65bba

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 9a65bba53c76358913f02222c968c5880ea34208
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Feb 21 15:07:55 2011 +0100

    Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index beef4fb..22a134c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+coq (8.2.pl2+dfsg-2) unstable; urgency=low
+
+  * Add Fix-build-with-camlp5-6.02.1.patch
+  * Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
+    lablgtk2 transition
+
+ -- Stéphane Glondu <glondu at debian.org>  Mon, 21 Feb 2011 16:51:11 +0100
+
 coq (8.2.pl2+dfsg-1) unstable; urgency=low
 
   * New upstream release
diff --git a/debian/control b/debian/control
index b3db141..8687770 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,7 @@ Build-Depends:
  ocaml-nox (>= 3.11.1-3~),
  ocaml-best-compilers,
  camlp5 (>= 5.12-2~),
- liblablgtk2-ocaml-dev (>= 2.14),
+ liblablgtk2-ocaml-dev (>= 2.14.2),
  texlive-latex-extra,
  hevea (>= 1.10-7)
 Homepage: http://coq.inria.fr/

-- 
coq packaging