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

2011-04-10 Thread Steve Langasek 
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 Developerhttp://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.0 +
+++ apron-0.9.10/debian/changelog	2011-04-10 09:39:06.0 +
@@ -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   Sun, 10 Apr 2011 09:38:37 +
+
 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.0 +
+++ apron-0.9.10/debian/control	2011-04-10 09:38:35.0 +
@@ -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

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

2011-04-09 Thread 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.0 +0200
+++ apron-0.9.10/debian/changelog   2011-04-10 00:30:10.0 +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   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.0 +0200
+++ apron-0.9.10/debian/control 2011-04-10 00:28:24.0 +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

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

2011-04-09 Thread Steve Langasek 
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 Developerhttp://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	2010-07-19 11:23:27.0 +
+++ apron-0.9.10/debian/changelog	2011-04-10 01:23:14.0 +
@@ -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   Sun, 10 Apr 2011 01:22:13 +
+
 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.0 +
+++ apron-0.9.10/debian/control	2011-04-10 01:23:19.0 +
@@ -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/


signature.asc
Description: Digital signature

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

2011-04-04 Thread Michael Tautschnig 
> On Sun, Apr  3, 2011 at 18:20:09 +0200, Matthias Klose wrote:
> 
> > Package: libapron-dev
> > Version:0.9.10-5
> > Severity: serious
> > 
> > libapron-dev depends on libppl0.10-dev, which doesn't exist anymore in
> > unstable, now removed by ftp-master. Please depend on libppl0.11-dev
> > instead.
> > 
> Well.  Or libppl-dev, so you don't break next time.  Why are the
> libppl dev packages versioned anyhow?
> 

Because newer PPL releases might break gcc. But supposedly this isn't that much
of an issue for APRON, hence I'd agree that libapron-dev should build-depend on
libppl-dev.

Hope this helps,
Michael



pgp1JJhYP1oMN.pgp
Description: PGP signature

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

2011-04-04 Thread Julien Cristau 
On Sun, Apr  3, 2011 at 18:20:09 +0200, Matthias Klose wrote:

> Package: libapron-dev
> Version:0.9.10-5
> Severity: serious
> 
> libapron-dev depends on libppl0.10-dev, which doesn't exist anymore in
> unstable, now removed by ftp-master. Please depend on libppl0.11-dev
> instead.
> 
Well.  Or libppl-dev, so you don't break next time.  Why are the
libppl dev packages versioned anyhow?

Cheers,
Julien



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

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

2011-04-03 Thread Matthias Klose 
Package: libapron-dev
Version:0.9.10-5
Severity: serious

libapron-dev depends on libppl0.10-dev, which doesn't exist anymore in unstable,
now removed by ftp-master. Please depend on libppl0.11-dev instead.



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org