diff -Nru haskell-cryptol-2.4.0/debian/changelog haskell-cryptol-2.4.0/debian/changelog
--- haskell-cryptol-2.4.0/debian/changelog	2016-11-15 10:42:38.000000000 +0000
+++ haskell-cryptol-2.4.0/debian/changelog	2017-01-27 11:20:09.000000000 +0000
@@ -1,3 +1,9 @@
+haskell-cryptol (2.4.0-2build2) zesty; urgency=medium
+
+  * Rebuild against new GHC ABI.
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Fri, 27 Jan 2017 12:20:09 +0100
+
 haskell-cryptol (2.4.0-2build1) zesty; urgency=medium
 
   * Rebuild against new GHC ABI.