diff options
author | Stephane Glondu <steph@glondu.net> | 2023-08-12 08:51:13 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2023-08-12 08:51:13 +0200 |
commit | 7697d55f449046aae7a8d6799424b0e031020287 (patch) | |
tree | a48ef7223583b3811059953611038d2e006724f8 | |
parent | 82ba9bb1464a7647f5de16e3615ec2f8f70f798b (diff) |
Depend on ocaml instead of ocaml-nox
-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~), |