summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <samuel.mimram@ens-lyon.org>2004-07-21 17:56:37 +0000
committerGravatar Samuel Mimram <samuel.mimram@ens-lyon.org>2004-07-21 17:56:37 +0000
commit21aeec569d7b4d1feb3e4984e2f1138bd30f1625 (patch)
treedf0d2324bf057fbb164d5cb2aefd06a2b85a1e29 /debian/control
parent39a05ea8ddf4411a5abd7ef804bd5d40ee8f3bda (diff)
Ready for 3.08 + removed dpatch support.
Diffstat (limited to 'debian/control')
-rw-r--r--debian/control4
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/control b/debian/control
index c4ce8e17..32e6238b 100644
--- a/debian/control
+++ b/debian/control
@@ -4,12 +4,12 @@ Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Jerome Marant <jerome@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>
Standards-Version: 3.6.1
-Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-3.07, ocaml-best-compilers, liblablgtk2-ocaml-dev
+Build-Depends: debhelper (>= 4.0.0), ocaml-3.08, ocaml-best-compilers, liblablgtk2-ocaml-dev
Package: coq
Architecture: any
Depends: ${shlibs:Depends}, coq-libs
-Suggests: ocaml-3.07, proofgeneral-coq, ledit, cle
+Suggests: ocaml-3.08, proofgeneral-coq, ledit, cle
Recommends: coq-doc, coqide | proofgeneral-coq
Description: Proof assistant for higher-order logic
Coq is a proof assistant for higher-order logic, which allows the