diff -Nru aac-tactics-0.4/debian/changelog aac-tactics-0.4/debian/changelog
--- aac-tactics-0.4/debian/changelog	2015-10-28 23:53:37.000000000 +0000
+++ aac-tactics-0.4/debian/changelog	2015-11-05 00:04:52.000000000 +0000
@@ -1,3 +1,9 @@
+aac-tactics (0.4-5build2) xenial; urgency=medium
+
+  * No-change rebuild against ocaml 4.02.
+
+ -- Łukasz 'sil2100' Zemczak <lukasz.zemczak@canonical.com>  Wed, 04 Nov 2015 18:04:52 -0600
+
 aac-tactics (0.4-5build1) xenial; urgency=medium
 
   * No-change rebuild against the new libcoq-ocaml.