Bug#620716: libppl0.10-dev not in unstable anymore

[Matthias Klose]

Here is what I plan to NMU tomorrow.  apron is the last package blocking the 
migration of ppl, cloog-ppl, gcc-4.5 and gcc-4.6 to testing.

diff -Nru apron-0.9.10/debian/changelog apron-0.9.10/debian/changelog
--- apron-0.9.10/debian/changelog       2010-07-19 13:23:27.000000000 +0200
+++ apron-0.9.10/debian/changelog       2011-04-10 00:30:10.000000000 +0200
@@ -1,3 +1,11 @@
+apron (0.9.10-5.1) unstable; urgency=high
+
+  * Non maintainer upload.
+  * (Build-)depend on libppl0.11-dev instead of libppl0.10-dev.
+    Closes: #620716.
+
+ -- Matthias Klose <d...@debian.org>  Sat, 09 Apr 2011 23:28:28 +0200
+
 apron (0.9.10-5) unstable; urgency=low
 
   * Add mpfr_random.diff and rounding_modes.diff (Closes: #589359)
diff -Nru apron-0.9.10/debian/control apron-0.9.10/debian/control
--- apron-0.9.10/debian/control 2010-07-19 12:17:02.000000000 +0200
+++ apron-0.9.10/debian/control 2011-04-10 00:28:24.000000000 +0200
@@ -13,7 +13,7 @@
  dh-ocaml (>= 0.9~),
  libgmp3-dev,
  libmpfr-dev,
- libppl0.10-dev,
+ libppl0.11-dev,
  texi2html (>= 1.82)
 Standards-Version: 3.9.0
 Homepage: http://apron.cri.ensmp.fr/library/
@@ -39,7 +39,7 @@
 Depends: ${shlibs:Depends}, ${misc:Depends},
  libgmp3-dev,
  libmpfr-dev,
- libppl0.10-dev
+ libppl0.11-dev
 Description: an abstract interpretation library
  The APRON library is dedicated to the static analysis of the numerical
  variables of a program by Abstract Interpretation. The aim of such an analysis