Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 4e4327f1e81ed55d3d9be936d63e287f003bde4d..ab49b138bf396386ac310035af9d378015ffea26 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ocaml (4.05.0-12) unstable; urgency=medium
+
+  * Provide libnum-ocaml{,-dev}
+
+ -- Stéphane Glondu <glondu@debian.org>  Tue, 06 Aug 2019 09:27:23 +0200
+
 ocaml (4.05.0-11) unstable; urgency=medium
 
   [ Ralf Treinen ]