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

2013-09-05 Thread Michael Tautschnig
Hello Felix, > 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

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). so

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

2013-08-29 Thread Roberto Bagnara
On 08/29/13 13:27, Julien Puydt wrote: > Le 29/08/2013 12:18, Felix Salfelder a écrit : >> 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... > > I saw the problem

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

2013-08-29 Thread Julien Puydt
Le 29/08/2013 12:18, Felix Salfelder a écrit : > 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... I saw the problem with both libppm0.12-dev (1:1.0-7) and libppl-d

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". Troubl

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

2013-08-28 Thread Matthias Klose
Am 26.08.2013 22:33, schrieb 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

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 numeric_limits not only for PPL-specific numeric t