diff -Nru cvc4-1.5/debian/changelog cvc4-1.5/debian/changelog
--- cvc4-1.5/debian/changelog	2018-06-26 08:24:23.000000000 +0000
+++ cvc4-1.5/debian/changelog	2018-07-17 12:54:48.000000000 +0000
@@ -1,3 +1,9 @@
+cvc4 (1.5-1buil1build1) cosmic; urgency=medium
+
+  * No-change rebuild for boost soname change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Tue, 17 Jul 2018 12:54:48 +0000
+
 cvc4 (1.5-1buil1) cosmic; urgency=medium
 
   * No-change rebuild for libantlr3c soname change.