diff -Nru pxp-1.2.4/debian/changelog pxp-1.2.4/debian/changelog
--- pxp-1.2.4/debian/changelog	2013-07-11 09:38:41.000000000 +0000
+++ pxp-1.2.4/debian/changelog	2013-12-23 22:02:18.000000000 +0000
@@ -1,3 +1,9 @@
+pxp (1.2.4-1build1) trusty; urgency=medium
+
+  * Rebuild for ocaml-4.01.
+
+ -- Matthias Klose <doko@ubuntu.com>  Mon, 23 Dec 2013 22:02:18 +0000
+
 pxp (1.2.4-1) unstable; urgency=low
 
   * Team upload