diff options
Diffstat (limited to 'debian/control')
-rw-r--r-- | debian/control | 2 |
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~), |