Adam Barratt pointed out to me on IRC that I overlooked a runtime dependency on libppl0.10-dev from the -dev package; have corrected this now and am uploading a second NMU with the attached patch. Sorry for the churn.
-- Steve Langasek Give me a lever long enough and a Free OS Debian Developer to set it on, and I can move the world. Ubuntu Developer http://www.debian.org/ slanga...@ubuntu.com vor...@debian.org
diff -Nru apron-0.9.10/debian/changelog apron-0.9.10/debian/changelog
--- apron-0.9.10/debian/changelog 2011-04-10 01:23:14.000000000 +0000
+++ apron-0.9.10/debian/changelog 2011-04-10 09:39:06.000000000 +0000
@@ -1,3 +1,10 @@
+apron (0.9.10-5.2) unstable; urgency=low
+
+ * Follow-on NMU to fix the binary dependency on libppl0.10-dev.
+ Really Closes: #620716.
+
+ -- Steve Langasek <vor...@debian.org> Sun, 10 Apr 2011 09:38:37 +0000
+
apron (0.9.10-5.1) unstable; urgency=low
* Non-maintainer upload.
diff -Nru apron-0.9.10/debian/control apron-0.9.10/debian/control
--- apron-0.9.10/debian/control 2011-04-10 01:23:19.000000000 +0000
+++ apron-0.9.10/debian/control 2011-04-10 09:38:35.000000000 +0000
@@ -39,7 +39,7 @@
Depends: ${shlibs:Depends}, ${misc:Depends},
libgmp3-dev,
libmpfr-dev,
- libppl0.10-dev
+ libppl-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
signature.asc
Description: Digital signature
