[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-4-5-g83c5529

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 3dded0d87b2ef4ad5e56e35f4b10172caf8a2a76
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Jul 7 23:57:04 2009 +0200

    Tighten build-depends to ease OCaml 3.11.1 transition

diff --git a/debian/changelog b/debian/changelog
index 2a67493..03e9f56 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,7 @@ why (2.18.dfsg-5) unstable; urgency=low
 
   * Rebuild against latest Coq package, Closes: #536104.
   * Bump standards to 3.8.2
+  * Tighten build-depends to ease OCaml 3.11.1 transition
 
  -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 07 Jul 2009 23:50:16 +0200
 
diff --git a/debian/control b/debian/control
index bda255f..68b94c1 100644
--- a/debian/control
+++ b/debian/control
@@ -9,13 +9,13 @@ Build-Depends:
   debhelper (>= 7),
   autotools-dev,
   dh-ocaml (>= 0.4.1),
-  ocaml-nox (>= 3.10),
+  ocaml-nox (>= 3.11.1),
   ocaml-best-compilers,
   camlp4,
-  liblablgtk2-ocaml-dev,
-  coq (>= 8.2),
-  libfloat-coq (>= 1:8.1-1.0-5),
-  libocamlgraph-ocaml-dev,
+  liblablgtk2-ocaml-dev (>= 2.12.0-3),
+  coq (>= 8.2.pl1),
+  libfloat-coq (>= 1:8.2-1.2-3),
+  libocamlgraph-ocaml-dev (>= 1.1),
   dpatch
 Standards-Version: 3.8.2
 DM-Upload-Allowed: yes

-- 
why packaging