summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/control2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index f72cd0d..4f5f05b 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends:
debhelper-compat (= 13),
ocaml-dune,
- ocaml-nox (>= 3.11.1-3~),
+ ocaml,
ocaml-best-compilers,
ocaml-findlib,
dh-ocaml (>= 0.9~),