diff --git a/Changelog b/Changelog
index 9d6efa6..74e30de 100644
--- a/Changelog
+++ b/Changelog
@@ -1,4 +1,4 @@
-Release Next
+Release 1.5 (2023-12-15)
 
 - Pull request #22: use `-warn-error +A` instead of `-warn-error A` to avoid
   deprecation alert in 4.13.
diff --git a/num.opam b/num.opam
index 16ddbba..8317fb2 100644
--- a/num.opam
+++ b/num.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "1.5~dev"
+version: "1.6~dev"
 maintainer: "Xavier Leroy <xavier.leroy@inria.fr>"
 authors: [
   "Valérie Ménissier-Morain"