tags 620716 patch thanks Hi folks, Since apron now fails to build in unstable and furthermore is blocking gcc migration to testing currently (and with it, blocking multiarch ;), I've marked the current apron for removal from testing and prepared a 0-day NMU for this RC bug, the small patch for which you can find attached. Hopefully this NMU is appreciated, or at least zeroes out my karma wrt the package removal from testing. Please holler if there are any problems with this change. The NMU will be uploaded to unstable shortly. Thanks, -- 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/ slangasek@ubuntu.com vorlon@debian.org
diff -Nru apron-0.9.10/debian/changelog apron-0.9.10/debian/changelog --- apron-0.9.10/debian/changelog 2010-07-19 11:23:27.000000000 +0000 +++ apron-0.9.10/debian/changelog 2011-04-10 01:23:14.000000000 +0000 @@ -1,3 +1,12 @@ +apron (0.9.10-5.1) unstable; urgency=low + + * Non-maintainer upload. + * Build-depend on the libppl-dev virtual package instead of libppl0.10-dev, + since this latter package is no longer available in unstable and apron + now fails to build. Closes: #620716. + + -- Steve Langasek <vorlon@debian.org> Sun, 10 Apr 2011 01:22:13 +0000 + 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 10:17:02.000000000 +0000 +++ apron-0.9.10/debian/control 2011-04-10 01:23:19.000000000 +0000 @@ -13,7 +13,7 @@ dh-ocaml (>= 0.9~), libgmp3-dev, libmpfr-dev, - libppl0.10-dev, + libppl-dev, texi2html (>= 1.82) Standards-Version: 3.9.0 Homepage: http://apron.cri.ensmp.fr/library/
Attachment:
signature.asc
Description: Digital signature