diff -Nru highlighting-kate-0.6.4/debian/changelog highlighting-kate-0.6.4/debian/changelog
--- highlighting-kate-0.6.4/debian/changelog	2018-07-04 10:20:01.000000000 +0000
+++ highlighting-kate-0.6.4/debian/changelog	2018-07-05 07:45:18.000000000 +0000
@@ -1,3 +1,9 @@
+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.