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). sorry for the noise. regards felix -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130831084430.gc12...@bin.d-labs.de
