diff -Nru aac-tactics-0.4/debian/changelog aac-tactics-0.4/debian/changelog
--- aac-tactics-0.4/debian/changelog	2014-01-20 07:23:09.000000000 +0000
+++ aac-tactics-0.4/debian/changelog	2014-07-30 09:00:52.000000000 +0000
@@ -1,3 +1,9 @@
+aac-tactics (0.4-3) unstable; urgency=medium
+
+  * Recompile with coq 8.4pl4
+
+ -- Stéphane Glondu <glondu@debian.org>  Wed, 30 Jul 2014 11:00:52 +0200
+
 aac-tactics (0.4-2) unstable; urgency=medium
 
   * Recompile with coq 8.4pl3