diff options
author | Stephane Glondu <steph@glondu.net> | 2023-08-12 08:52:02 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2023-08-12 08:52:02 +0200 |
commit | 39c556dcb1a9dfae561ed677251da2c7e21b508d (patch) | |
tree | e3091fe8a13bb19147934a0adaea234e2769673e | |
parent | c5682378ec78d5b1be663c1cbe251686d2909d9e (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 c653b97..401cc59 100644 --- a/debian/control +++ b/debian/control @@ -4,7 +4,7 @@ Priority: optional Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Build-Depends: debhelper (>= 10), - ocaml-nox (>= 3.11), + ocaml, ocaml-findlib (>= 1.2.4), dh-ocaml (>= 0.9.1) Standards-Version: 4.0.1 |