diff -Nru z3-4.8.4/debian/changelog z3-4.8.4/debian/changelog
--- z3-4.8.4/debian/changelog	2019-08-27 12:30:11.000000000 +0000
+++ z3-4.8.4/debian/changelog	2019-09-13 08:27:08.000000000 +0000
@@ -1,3 +1,9 @@
+z3 (4.8.4-1build1) eoan; urgency=medium
+
+  * Rebuild against new OCAML ABI.
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Fri, 13 Sep 2019 10:27:08 +0200
+
 z3 (4.8.4-1) unstable; urgency=medium
 
   [ Gianfranco Costamagna ]