2 files changed, 8 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index 5c00f21..838fd3c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+mlgmp (20021123-22) 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:14 +0200
+
 mlgmp (20021123-21) unstable; urgency=medium
 
   * Team upload
diff --git a/debian/control b/debian/control
index bb89db6..d9dc4e9 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,7 @@ Uploaders:
   Ralf Treinen <treinen@debian.org>,
   Mehdi Dogguy <mehdi@debian.org>
 Build-Depends:
-  ocaml-nox,
+  ocaml,
   debhelper-compat (= 13),
   libgmp3-dev,
   libmpfr-dev,