diff -Nru highlighting-kate-0.6.3/debian/changelog highlighting-kate-0.6.3/debian/changelog
--- highlighting-kate-0.6.3/debian/changelog	2016-10-27 22:37:18.000000000 +0000
+++ highlighting-kate-0.6.3/debian/changelog	2017-01-25 22:14:31.000000000 +0000
@@ -1,3 +1,9 @@
+highlighting-kate (0.6.3-3build1) zesty; urgency=medium
+
+  * Rebuild against new GHC ABI.
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 25 Jan 2017 23:14:31 +0100
+
 highlighting-kate (0.6.3-3) unstable; urgency=medium
 
   * Upload to unstable as part of GHC 8 transition.