Hello Tobias.
Sorry for the delay in answering your message: I was traveling.
On 11/11/2016 02:08 AM, Tobias Hansen wrote:
> 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?
No, I am not sure it is required: we bump it at any new release
just as a caution.
> 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?
I am sorry, but I do not follow: why not switch to PPL 1.2, which
was released around 9 months ago and that is the current stable version?
More generally, we have no time to follow the evolution of Debian.
We have offered (multiple times) all the possible cooperation upstream,
but we got the impression the Debian people is not interested:
they do not use our mailing list and they seem totally uninterested to
explain the issues in non-Debian terms. I now repeat the offer to you:
if you are willing to explain what the problem is without assuming
we know anything about Debian, you are more than welcome, and the
problem will be solved very quickly.
Kind regards,
Roberto
> 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
>>
>
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagn...@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagn...@bugseng.com
