diff -Nru pipebang-113.00.00/debian/changelog pipebang-113.00.00/debian/changelog
--- pipebang-113.00.00/debian/changelog	2017-07-15 10:00:24.000000000 +0000
+++ pipebang-113.00.00/debian/changelog	2017-10-28 09:53:49.000000000 +0000
@@ -1,3 +1,9 @@
+pipebang (113.00.00-2build1) bionic; urgency=medium
+
+  * Rebuild against new OCAML ABIs.
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 28 Oct 2017 11:53:49 +0200
+
 pipebang (113.00.00-2) unstable; urgency=medium
 
   * Team upload