summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/changelog7
-rw-r--r--debian/control2
2 files changed, 8 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index d75fb09..d14cda0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+camlmix (1.3.1-5) unstable; urgency=medium
+
+ * Team upload
+ * Depend on ocaml instead of transitional ocaml-nox
+
+ -- Stéphane Glondu <glondu@debian.org> Tue, 12 Sep 2023 07:50:49 +0200
+
camlmix (1.3.1-4) unstable; urgency=medium
* Team upload
diff --git a/debian/control b/debian/control
index 556ed13..a00db55 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-compat (= 13),
- ocaml-nox,
+ ocaml,
ocaml-findlib,
dh-ocaml
Standards-Version: 4.5.0