summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@debian.org>2019-02-05 12:30:37 -0500
committerGravatar Benjamin Barenblat <bbaren@debian.org>2019-02-05 12:30:37 -0500
commitbf8f9260d59d795b09b2fd1611a4131b8c31127e (patch)
tree070cb4c7ad5eaed9d6506828b3a83d804bf35c5b
parent360aba5ab0b2225dda7d8ab61c62cf7e4baaef53 (diff)
Remove references to ocaml-best-compilers package
ocaml-best-compilers has been superseded by ocaml-nox. Simply depend on that instead.
-rw-r--r--debian/control4
1 files changed, 1 insertions, 3 deletions
diff --git a/debian/control b/debian/control
index 766ffdf4..a9020dd6 100644
--- a/debian/control
+++ b/debian/control
@@ -15,7 +15,6 @@ Build-Depends:
dh-ocaml (>= 0.9.5~),
dh-python,
ocaml-nox (>= 4),
- ocaml-best-compilers,
ocaml-findlib (>= 1.4),
camlp5 (>= 5.12-2~),
liblablgtk2-ocaml-dev (>= 2.14),
@@ -37,11 +36,10 @@ Depends:
${python3:Depends},
${shlibs:Depends},
${misc:Depends},
- ocaml-best-compilers,
+ ocaml-nox,
ocaml-findlib
Provides: coq-${F:CoqABI}
Suggests:
- ocaml-nox,
proofgeneral,
ledit | readline-editor,
libcoq-ocaml-dev,