The core development team is very pleased to announce the availability of PPL 0.9 in Fedora 7. This is part of an ongoing effort to make the Parma Polyhedra Library available (also in binary form) on the major software platforms [1]. Special thanks are due to Michael Schwendt and Mamoru Tasaka for all the assistance they gave us. The (more than obsolete) RPM packages available from the PPL download page will soon be removed. We hope to release PPL 0.10 (with lots of new interesting features) by the end of the year. All the best,

Roberto Bagnara bagnara@cs.unipr.it Patricia M. Hill hill@comp.leeds.ac.uk Enea Zaffanella zaffanella@cs.unipr.it

[1] If there are platforms you care more than others, please let us know. If you have expertise in building packages for platforms other than Fedora 7 and would like to share your knowledge with us, please get in touch.