[PPL-devel] PPL 0.9 is now in Fedora 7

[Roberto Bagnara]

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 at cs.unipr.it>
       Patricia M. Hill <hill at comp.leeds.ac.uk>
       Enea Zaffanella  <zaffanella at 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.

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it