Bug#720994: libppl0.12-dev: ppl.hh contains definitions which are also in gmpxx.h

2013-08-31 Thread Felix Salfelder
On Thu, Aug 29, 2013 at 08:43:09PM +0200, Roberto Bagnara wrote: Unless some problems are reported, this will become PPL 1.1. Kind regards, You are right. it's fixed. The error message leading to the collision in ppl.hh vs gmpxx.h was caused by a bogus mpir.h include (for whatever reason).

Bug#720994: libppl0.12-dev: ppl.hh contains definitions which are also in gmpxx.h

2013-08-29 Thread Felix Salfelder
On Wed, Aug 28, 2013 at 05:36:57PM +0200, Matthias Klose wrote: that should be fixed in the version in experimental. If you are referring to 1.1~pre8-1, I'm afraid it's not... thanks felix -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of unsubscribe. Trouble?

Bug#720994: libppl0.12-dev: ppl.hh contains definitions which are also in gmpxx.h

2013-08-26 Thread Felix Salfelder
Package: libppl0.12-dev Version: 1:1.0-7 Severity: important Dear Maintainer, ppl.hh contains a remark about a transition concerning the numeric_limits declaration. /* [..] \note The PPL provides the specializations of the class template CODEnumeric_limits/CODE not only for PPL-specific