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 (for whatever > reason). > [...] Could you please clarify in which version that is fixed (and which might still be broken)? Ideally, please tag the bug accordingly (if you feel this is too much to ask for, I will do so once you provide the info). Thanks a lot, Michael
Attachment:
pgpwJR3zf6zHW.pgp
Description: PGP signature