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 909133f..5da2ff8 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Uploaders:
Stéphane Glondu <glondu@debian.org>
Build-Depends:
debhelper-compat (= 13),
- ocaml-nox,
+ ocaml,
ocaml-findlib,
ocamlbuild,
libresult-ocaml-dev,