[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl2+dfsg-2-1-g5f43edb

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 5f43edb15fbe34bf1f31a7155e40896baa067796
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Nov 12 16:04:13 2011 +0100

    Downgrade versioned build-dependency to liblablgtk2-ocaml-dev
    
    It was there to ease a transition, and is not actually needed. This
    will ease backports.

diff --git a/debian/control b/debian/control
index 116bd06..98b15dc 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.2),
+ liblablgtk2-ocaml-dev (>= 2.14),
  texlive-latex-extra,
  hevea (>= 1.10-7)
 Homepage: http://coq.inria.fr/

-- 
coq packaging