Hi Roberto, I noticed today that ppl was removed from Debian testing due to two RC bugs. The problem is that ppl 1.2 has a new soname (14), that means it requires a library transition. We are now already past the library transition freeze for Debian stretch. Are you shure that the ABI of ppl changed with version 1.2, i.e. that this soname bump is required?
It would now probably be best to patch version 1.1 of ppl to have at least this version in the next Debian release. The previous mails from this bug report suggest that the patch that was discussed was not enough to fix the build with gcc 6. Could you provide a new patch for this? Best, Tobias On Sat, 6 Aug 2016 14:34:14 +0200 Roberto Bagnara <bagn...@cs.unipr.it> wrote: > The new version upstream (PPL 1.2, released in February 2016) solves > all problems wrt GCC 6. If upgrading to the latest upstream release > is not wanted (why?), then patches have been provided in this very issue. > Kind regards, > > Roberto >