Hi! It would be great to see APRON packaged for Debian; please make sure it uses/works with current PPL (Parma Polyhedra Library), which we already ship/maintain with Debian. I know that some earlier versions required patches to PPL to make it work, but I don't know whether this is still the case or has been fixed already. Thanks, Michael
Attachment:
pgpA2yIrYVdAV.pgp
Description: PGP signature