[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl2dfsg-1-3-g505d907

[Stephane Glondu]

The following commit has been merged in the master branch:
commit fa585afeaa4165e24d0933711703b1dd248e5f6b
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jul 26 14:16:26 2013 +0200

    Compile with OCaml >= 4

diff --git a/debian/control b/debian/control
index d314e2c..019ef60 100644
--- a/debian/control
+++ b/debian/control
@@ -10,9 +10,9 @@ Standards-Version: 3.9.2
 Build-Depends:
  debhelper (>= 7.2.11~),
  dh-ocaml (>= 0.9.5~),
- ocaml-nox (>= 3.11.1-3~),
+ ocaml-nox (>= 4),
  ocaml-best-compilers,
- ocaml-findlib,
+ ocaml-findlib (>= 1.4),
  camlp5 (>= 5.12-2~),
  liblablgtk2-ocaml-dev (>= 2.14),
  texlive-latex-extra,

-- 
coq packaging