On 07/02/2016 10:37 AM, u wrote: > Here's a debdiff which fixes this bug. > I've tested building in a chroot using gcc-6. > > One might want to consider setting up a Git repository for this package :)
Thanks!
Indeed the best of all would be to upgrade to PPL 1.2.
Cheers,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:[email protected]
BUGSENG srl - http://bugseng.com
mailto:[email protected]
