Fedora 9 Update: ppl-0.9-24.fc9

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-7858
2008-10-01 05:58:18
--------------------------------------------------------------------------------

Name        : ppl
Product     : Fedora 9
Version     : 0.9
Release     : 24.fc9
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:

Adapted to the new packaging of `pl' (SWI-Prolog).
--------------------------------------------------------------------------------
ChangeLog:

* Mon Sep  8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-24
- Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
  the `-v' option.
* Mon Sep  8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-23
- Fixed ppl-0.9-swiprolog.patch.
* Mon Sep  8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-22
- Implemented a workaround to cope with the new location of SWI-Prolog.h.
* Mon Sep  8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-21
- Fixed the SWI-Prolog interface dependencies.
* Mon May 19 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-20
- Added Requires /sbin/ldconfig.
--------------------------------------------------------------------------------

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
--------------------------------------------------------------------------------