diff -Nru gr-hpsdr-1.2/debian/changelog gr-hpsdr-1.2/debian/changelog
--- gr-hpsdr-1.2/debian/changelog	2018-06-14 19:02:35.000000000 +0000
+++ gr-hpsdr-1.2/debian/changelog	2018-07-17 12:56:24.000000000 +0000
@@ -1,3 +1,9 @@
+gr-hpsdr (1.2-1build3) cosmic; urgency=medium
+
+  * No-change rebuild for boost soname change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Tue, 17 Jul 2018 12:56:24 +0000
+
 gr-hpsdr (1.2-1build2) cosmic; urgency=medium
 
   * No-change rebuild for gnuradio soname changes.