summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/changelog7
-rw-r--r--debian/control4
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,