diff options
-rw-r--r-- | debian/changelog | 7 | ||||
-rw-r--r-- | debian/control | 4 |
2 files changed, 9 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 58853e7..e0d107a 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +ocaml-atd (2.12.0-3) unstable; urgency=medium + + * Mark <!nocheck> build-dependencies + * Depend on ocaml instead of transitional ocaml-nox + + -- Stéphane Glondu <glondu@debian.org> Sun, 10 Sep 2023 06:10:04 +0200 + ocaml-atd (2.12.0-2) unstable; urgency=medium * Use ocaml_dune DH buildsystem diff --git a/debian/control b/debian/control index 0713ff9..769d432 100644 --- a/debian/control +++ b/debian/control @@ -5,10 +5,10 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Stéphane Glondu <glondu@debian.org> Build-Depends: debhelper-compat (= 13), - ocaml-nox, + ocaml, ocaml-dune, menhir, - libalcotest-ocaml-dev, + libalcotest-ocaml-dev <!nocheck>, libcamlp-streams-ocaml-dev, libeasy-format-ocaml-dev, libre-ocaml-dev, |