diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-27 13:31:26 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-27 13:31:26 +0100 |
| commit | 7fb05c184aa14eb7bed926f30ef81ea5b5ace1dd (patch) | |
| tree | e5b0be0cc5dffbc5aee02ba14a37753d3e662706 /debian/control | |
| parent | 66a68f2af68eded56ab12237b01f273dd5644b12 (diff) | |
Add versioned dependencies
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 |