summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-02-01 01:20:20 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2009-02-01 01:21:50 +0100
commitadb4654be3cf65fcdcf91845822ce4af0de669d1 (patch)
tree0ec48f7cad56420e169d7fcc3570cef7b6e97791
parent7451b89730525d5345f5fcb93eac2bf591180bc5 (diff)
Update dependencies
-rw-r--r--debian/control10
1 files changed, 8 insertions, 2 deletions
diff --git a/debian/control b/debian/control
index fda73c89..ba0e7d76 100644
--- a/debian/control
+++ b/debian/control
@@ -14,7 +14,7 @@ Build-Depends:
debhelper (>= 7),
dpkg-dev (>= 1.13.19),
dpatch,
- ocaml-nox (>= 3.10),
+ ocaml-nox (>= 3.11),
ocaml-best-compilers,
camlp5,
liblablgtk2-ocaml-dev (>= 2.4.0),
@@ -28,7 +28,13 @@ Package: coq
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, ocaml-base-nox-${F:OCamlABI}, coq-libs (= ${source:Version}), emacsen-common
Recommends: coqide | proofgeneral-coq
-Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle, coq-doc
+Suggests:
+ ocaml-nox,
+ proofgeneral-coq,
+ ledit,
+ cle,
+ libcoq-ocaml-dev,
+ coq-doc
Description: proof assistant for higher-order logic (toplevel and compiler)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal