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
pgpgnWPshgUVZ.pgp
Description: PGP signature
