diff -pruN 0.9.10-5.2/debian/changelog 0.9.10-5.2ubuntu3/debian/changelog
--- 0.9.10-5.2/debian/changelog	2011-04-10 09:39:06.000000000 +0000
+++ 0.9.10-5.2ubuntu3/debian/changelog	2011-11-19 11:55:17.000000000 +0000
@@ -1,3 +1,22 @@
+apron (0.9.10-5.2ubuntu3) precise; urgency=low
+
+  * Rebuild for OCaml 3.12.1.
+
+ -- Colin Watson <cjwatson@ubuntu.com>  Sat, 19 Nov 2011 11:55:17 +0000
+
+apron (0.9.10-5.2ubuntu2) oneiric; urgency=low
+
+  * Rebuild to pick up ocaml fixes on armel.
+
+ -- Adam Conrad <adconrad@ubuntu.com>  Wed, 24 Aug 2011 16:26:20 -0600
+
+apron (0.9.10-5.2ubuntu1) oneiric; urgency=low
+
+  * Build-depend on a real alternative for libppl-dev, since Ubuntu's sbuild
+    doesn't seem to like the pure virtual build-dependency.
+
+ -- Colin Watson <cjwatson@ubuntu.com>  Wed, 18 May 2011 14:56:58 +0100
+
 apron (0.9.10-5.2) unstable; urgency=low
 
   * Follow-on NMU to fix the binary dependency on libppl0.10-dev.
diff -pruN 0.9.10-5.2/debian/control 0.9.10-5.2ubuntu3/debian/control
--- 0.9.10-5.2/debian/control	2011-04-10 09:38:35.000000000 +0000
+++ 0.9.10-5.2ubuntu3/debian/control	2011-05-18 13:57:09.000000000 +0000
@@ -1,7 +1,8 @@
 Source: apron
 Section: libdevel
 Priority: optional
-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
+Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
+XSBC-Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Uploaders:
  Samuel Mimram <smimram@debian.org>,
  Stéphane Glondu <glondu@debian.org>
@@ -13,7 +14,7 @@ Build-Depends:
  dh-ocaml (>= 0.9~),
  libgmp3-dev,
  libmpfr-dev,
- libppl-dev,
+ libppl0.11-dev | libppl-dev,
  texi2html (>= 1.82)
 Standards-Version: 3.9.0
 Homepage: http://apron.cri.ensmp.fr/library/