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,