Fedora 7 Update: ppl-0.9-12.fc7

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2007-0873
2007-07-12 16:37:13.843173
--------------------------------------------------------------------------------

Name        : ppl
Product     : Fedora 7
Version     : 0.9
Release     : 12.fc7
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:

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.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #227669
        https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=227669
--------------------------------------------------------------------------------
Updated packages:

f349da90831ae8938d525299a8e5087db306e436 ppl-0.9-12.fc7.src.rpm
dc69f8cb20e92b3449718ab684905605a0f6466a ppl-debuginfo-0.9-12.fc7.ppc.rpm
65c99714163069d89d090ef86f82ac04d6ef5550 ppl-utils-0.9-12.fc7.ppc.rpm
12e0a33fa63df1106950a6a98a95e5be3c0ce7dc ppl-static-0.9-12.fc7.ppc.rpm
a463222601c06942b57274eb43c94608c159b58b ppl-0.9-12.fc7.ppc.rpm
9427fca321af9910683fb489eeddb6dee5a99c43 ppl-pwl-devel-0.9-12.fc7.ppc.rpm
79962f995062bde7ab26bfc5e073680782fc4438 ppl-docs-0.9-12.fc7.ppc.rpm
d848f2f30b2fb092f600ba0f08573a502c265b1e ppl-devel-0.9-12.fc7.ppc.rpm
5e33ce6c819f49cf6764a0703e1b908439da5c41 ppl-gprolog-static-0.9-12.fc7.ppc.rpm
de7d59f5cfcb105af0f10dc5f08bfa9f511ca7e7 ppl-gprolog-0.9-12.fc7.ppc.rpm
ed52926a7a6697744ddba3f5f8bd066c6d895339 ppl-swiprolog-0.9-12.fc7.ppc.rpm
9fd7ff3c34822028c3e6cc287a68ba17e4f48fd6 ppl-pwl-static-0.9-12.fc7.ppc.rpm
e649c197544ffdcace8e06136153dc633cfcaf51 ppl-pwl-0.9-12.fc7.ppc.rpm
252dec8adc4ea0f5424c07d6c73da9e079995849 ppl-swiprolog-static-0.9-12.fc7.ppc.rpm
ee980f81a18e328d9b3cd2cd9ac936f62e067863 ppl-utils-0.9-12.fc7.x86_64.rpm
656d895aa52a770ffbd062c339029bc1259bb3d0 ppl-swiprolog-static-0.9-12.fc7.x86_64.rpm
f917a1271b219d3dc52805810153097f31f77898 ppl-pwl-devel-0.9-12.fc7.x86_64.rpm
a861b20f3b61e0fd31164b4ea9d33c82647488a9 ppl-debuginfo-0.9-12.fc7.x86_64.rpm
6d11a63416c59d242166a2d7c7ef848537f93c26 ppl-pwl-0.9-12.fc7.x86_64.rpm
86712d23d2d24cf95ef166843c83e7aeb9ef4c58 ppl-gprolog-static-0.9-12.fc7.x86_64.rpm
4d43e0e8a00af2ffc608a410bb2ea45ecf255cd9 ppl-swiprolog-0.9-12.fc7.x86_64.rpm
b50942fcfb33f56cd188c70f28dc0faa67cecc73 ppl-docs-0.9-12.fc7.x86_64.rpm
27c45c56b5bf3fe06546c96f500a47383240965f ppl-gprolog-0.9-12.fc7.x86_64.rpm
fb021c8e797cec955f02425ab08db971fe8f2bd4 ppl-static-0.9-12.fc7.x86_64.rpm
25ec4b1c1cc884673b82b3df61e245f78ae83f90 ppl-0.9-12.fc7.x86_64.rpm
e06fe47e529c0ec4415163bf73c6237bfc9287f2 ppl-devel-0.9-12.fc7.x86_64.rpm
fa4ef795196583d2ca66fc71433b6c31b0c4c837 ppl-pwl-static-0.9-12.fc7.x86_64.rpm
70f7b82324a0fa85f64637777812e3cef15ac0d6 ppl-gprolog-static-0.9-12.fc7.i386.rpm
91b2ccd2da629d8537e472cc14a73aadf9f1cf7f ppl-0.9-12.fc7.i386.rpm
e1b97e4e2622113ad5581448766c117980e563b1 ppl-swiprolog-static-0.9-12.fc7.i386.rpm
3124f7c6446bfdf5126da13fd96e565ca8ddd890 ppl-pwl-static-0.9-12.fc7.i386.rpm
9862d3e231ce55b1a191f1184614ccfb9f28d135 ppl-pwl-devel-0.9-12.fc7.i386.rpm
64779f30cf5b009406b99f6d352040cbe3fe9c3b ppl-devel-0.9-12.fc7.i386.rpm
a0086f25153fcf6b8ea083e02b40f5988e5ef715 ppl-utils-0.9-12.fc7.i386.rpm
f0ff83f37e4f2546a6050bb3e2fe183bc1ea12e7 ppl-swiprolog-0.9-12.fc7.i386.rpm
ccf603724751690c41f242aea423faa0ece09b65 ppl-static-0.9-12.fc7.i386.rpm
e93c97b9cf1e4f5710a688305714e4acb5a49036 ppl-gprolog-0.9-12.fc7.i386.rpm
de7b44737b97abeae4485c87f34c09ffa2f5a841 ppl-debuginfo-0.9-12.fc7.i386.rpm
93d703c4b47ad42ecc2dfcd8fbd1767a692d7266 ppl-pwl-0.9-12.fc7.i386.rpm
3e3ede49b8eb4d1a45176b14f39be0fb1226b8ab ppl-docs-0.9-12.fc7.i386.rpm
88e738bc8ce0b8fe83a984f42af5915249247e0e ppl-swiprolog-0.9-12.fc7.ppc64.rpm
4e8a1419059a855a9250f770686e37eb91b8632d ppl-docs-0.9-12.fc7.ppc64.rpm
68a944c4eb5bf83cce7120368314ee543e849a48 ppl-debuginfo-0.9-12.fc7.ppc64.rpm
9a5b4eb94f061c8e46957c18f4bbc4c84f31ed34 ppl-devel-0.9-12.fc7.ppc64.rpm
eca076db7833bb0fa0c96fd58eb24261a4f01b2b ppl-0.9-12.fc7.ppc64.rpm
bc0fa526bd26a4c3391b2197beca5afb4a9ea6a4 ppl-utils-0.9-12.fc7.ppc64.rpm
41eadb9e8e87851b18d4b4b6603a8cc55e488424 ppl-swiprolog-static-0.9-12.fc7.ppc64.rpm
62f1bad232173ffd5787cdbff8be246074aeb9ab ppl-pwl-devel-0.9-12.fc7.ppc64.rpm
941c56017a127e9646becb8d80202bc746aa590f ppl-static-0.9-12.fc7.ppc64.rpm
2113e0fcfd9c2b58d2ad3abc2dd2dc46e58fc21e ppl-pwl-static-0.9-12.fc7.ppc64.rpm
1b2f72b00f657f2c15d96fdb9fec3a2497863332 ppl-pwl-0.9-12.fc7.ppc64.rpm

This update can be installed with the 'yum' update program.  Use 'yum update
package-name' at the command line.  For more information, refer to 'Managing
Software with yum,' available at http://docs.fedoraproject.org/yum/.
--------------------------------------------------------------------------------