diff options
author | Stephane Glondu <steph@glondu.net> | 2023-08-12 09:00:20 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2023-08-12 09:00:20 +0200 |
commit | 8850d30f8817813783ddd116f5fcd53fc7b75e11 (patch) | |
tree | 14f2028c670ce8a213fbd546b5d103893e828550 | |
parent | 32805d92b0a4bd8d6fbf6de5f7fdf8c4fc9c2cdf (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 f684f5f..4fb1219 100644 --- a/debian/control +++ b/debian/control @@ -5,7 +5,7 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Hilko Bengen <bengen@debian.org> Build-Depends: debhelper (>= 10~), - ocaml-nox (>= 4.00.0), + ocaml, ocaml-findlib (>= 1.3.2), camlp4, camlp4-extra, |