summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2007-08-27 07:28:26 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2007-08-27 07:28:26 +0000
commitd0d0fa119d8061cb6fb844e2d6c1ea7bac6eec44 (patch)
treea937aa8224a948b4e355a75c4bb699583731fe12 /debian/control
parentd9de9e7b1a8bd80dedb984ab4e15fa195e259633 (diff)
Depend on ocaml-base-nox since coq_makefile needs ocamlrun.
Diffstat (limited to 'debian/control')
-rw-r--r--debian/control2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index 7c473bf4..3824703e 100644
--- a/debian/control
+++ b/debian/control
@@ -10,7 +10,7 @@ XS-Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/tr
Package: coq
Architecture: any
-Depends: ${shlibs:Depends}, ${misc:Depends}, coq-libs (= ${source:Version})
+Depends: ${shlibs:Depends}, ${misc:Depends}, ocaml-base-nox-${F:OCamlABI}, coq-libs (= ${source:Version})
Recommends: coqide | proofgeneral-coq
Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle, coq-doc
Description: proof assistant for higher-order logic (toplevel and compiler)