-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2009-7300 2009-07-03 18:38:03 --------------------------------------------------------------------------------
Name : ppl Product : Fedora 11 Version : 0.10.2 Release : 3.fc11 URL : http://www.cs.unipr.it/ppl/ Summary : The Parma Polyhedra Library: a library of numerical abstractions Description : The Parma Polyhedra Library (PPL) is a library for the manipulation of (not necessarily closed) convex polyhedra and other numerical abstractions. The applications of convex polyhedra include program analysis, optimized compilation, integer and combinatorial optimization and statistical data-editing. The Parma Polyhedra Library comes with several user friendly interfaces, is fully dynamic (available virtual memory is the only limitation to the dimension of anything), written in accordance to all the applicable standards, exception-safe, rather efficient, thoroughly documented, and free software. This package provides all what is necessary to run applications using the PPL through its C and C++ interfaces. -------------------------------------------------------------------------------- Update Information: Architectural dependencies fixed. -------------------------------------------------------------------------------- ChangeLog: * Fri Jun 19 2009 Roberto Bagnara <[email protected]> 0.10.2-3 - The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and `ppl-yap'. * Sat Apr 18 2009 Roberto Bagnara <[email protected]> 0.10.2-2 - Force rebuild. * Sat Apr 18 2009 Roberto Bagnara <[email protected]> 0.10.2-1 - Updated for PPL 0.10.2. -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update ppl' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at http://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ Fedora-package-announce mailing list [email protected] http://www.redhat.com/mailman/listinfo/fedora-package-announce
