Bug#620716: libppl0.10-dev not in unstable anymore
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 <doko@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
Reply to: