diff -Nru highlighting-kate-0.6.4/debian/changelog highlighting-kate-0.6.4/debian/changelog
--- highlighting-kate-0.6.4/debian/changelog	2018-05-21 10:25:25.000000000 +0000
+++ highlighting-kate-0.6.4/debian/changelog	2018-07-05 07:45:18.000000000 +0000
@@ -1,3 +1,15 @@
+highlighting-kate (0.6.4-2build3) cosmic; urgency=medium
+
+  * Rebuild against new GHC ABI.
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Thu, 05 Jul 2018 09:45:18 +0200
+
+highlighting-kate (0.6.4-2build2) cosmic; urgency=medium
+
+  * Rebuild against new GHC ABI.
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 04 Jul 2018 12:20:01 +0200
+
 highlighting-kate (0.6.4-2build1) cosmic; urgency=medium
 
   * Rebuild against new GHC ABI.