diff options
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/debian/control b/debian/control index 8d507399..84656a39 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 |