[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-22-g0edbd67

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7fb05c184aa14eb7bed926f30ef81ea5b5ace1dd
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Feb 27 13:31:26 2009 +0100

    Add versioned dependencies

diff --git a/debian/changelog b/debian/changelog
index 6148715..9d5f2e5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,8 +9,9 @@ coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
     (Closes: #517107)
   * Add missing dependency for coqide.byte (no longer compiled in
     custom mode): liblablgtk2-ocaml
+  * Rebuild with OCaml 3.11
 
- -- Stephane Glondu <steph at glondu.net>  Fri, 27 Feb 2009 13:23:43 +0100
+ -- Stephane Glondu <steph at glondu.net>  Fri, 27 Feb 2009 13:30:03 +0100
 
 coq (8.2~rc2+dfsg-3) experimental; urgency=low
 
diff --git a/debian/control b/debian/control
index 8d50739..84656a3 100644
--- a/debian/control
+++ b/debian/control
@@ -13,13 +13,13 @@ Standards-Version: 3.8.0
 Build-Depends:
  debhelper (>= 7),
  dpkg-dev (>= 1.13.19),
- dh-ocaml (>= 0.2),
- ocaml-nox,
+ dh-ocaml (>= 0.4.1),
+ ocaml-nox (>= 3.11.0-5),
  ocaml-best-compilers,
- camlp5,
- liblablgtk2-ocaml-dev,
+ camlp5 (>= 5.10-3),
+ liblablgtk2-ocaml-dev (>= 2.12.0-2),
  texlive-latex-extra,
- hevea
+ hevea (>= 1.10-7)
 Homepage: http://coq.inria.fr/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git

-- 
coq packaging