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 | |
parent | 66a68f2af68eded56ab12237b01f273dd5644b12 (diff) |
Add versioned dependencies
-rw-r--r-- | debian/changelog | 3 | ||||
-rw-r--r-- | debian/control | 10 |
2 files changed, 7 insertions, 6 deletions
diff --git a/debian/changelog b/debian/changelog index 6148715b..9d5f2e50 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@glondu.net> Fri, 27 Feb 2009 13:23:43 +0100 + -- Stephane Glondu <steph@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 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 |