summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/control2
-rw-r--r--debian/coq.dirs1
-rw-r--r--debian/coq.docs1
3 files changed, 2 insertions, 2 deletions
diff --git a/debian/control b/debian/control
index d15b63d8..c211d2ac 100644
--- a/debian/control
+++ b/debian/control
@@ -10,7 +10,7 @@ Package: coq
Architecture: any
Depends: ${shlibs:Depends}, coq-libs (= ${Source-Version})
Recommends: coq-doc, coqide | proofgeneral-coq
-Suggests: ocaml-3.08, proofgeneral-coq, ledit, cle
+Suggests: ocaml-nox (>= 3.08), proofgeneral-coq, ledit, cle
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
diff --git a/debian/coq.dirs b/debian/coq.dirs
index 719fd80d..1166b157 100644
--- a/debian/coq.dirs
+++ b/debian/coq.dirs
@@ -3,4 +3,3 @@ usr/lib
usr/lib/coq
usr/share/man/man1
usr/share/pixmaps
-ide/utf8.v
diff --git a/debian/coq.docs b/debian/coq.docs
new file mode 100644
index 00000000..9b2bbcd7
--- /dev/null
+++ b/debian/coq.docs
@@ -0,0 +1 @@
+ide/utf8.v