Fedora 7 Test Update: ppl-0.9-13.fc7

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



--------------------------------------------------------------------------------
Fedora Test Update Notification
FEDORA-2007-1201
2007-07-23 08:44:58.187077
--------------------------------------------------------------------------------

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

YAP Prolog interface enabled again (was disabled because of YAP bug 246815).

--------------------------------------------------------------------------------
ChangeLog:

* Fri Jul  6 2007 Roberto Bagnara <bagnara@xxxxxxxxxxx> 0.9-13
- Bug 246815 had been fixed: YAP support enabled again.
--------------------------------------------------------------------------------
Updated packages:

372f59ad67c8acc9457ae7de32888ec4304a2f09 ppl-0.9-13.fc7.ppc.rpm
24b7847b5ee01f4aa1cf9a608f3a84fa710bd980 ppl-pwl-0.9-13.fc7.ppc.rpm
4171268aa009747185bbc111aa7cf9e46c7a2b48 ppl-gprolog-0.9-13.fc7.ppc.rpm
835e3716abce199a79b32da7d179f5377cfc7bdb ppl-pwl-devel-0.9-13.fc7.ppc.rpm
f19bf3f6ef357ad9760b17f1095d6163c49d8c6a ppl-utils-0.9-13.fc7.ppc.rpm
9ecb4da8e82032f25ae0f38b5fef6509a75b5f58 ppl-pwl-static-0.9-13.fc7.ppc.rpm
d6621ebeb0b28404fd8798285bfd4ec336b8d416 ppl-swiprolog-static-0.9-13.fc7.ppc.rpm
1552fc0d06224d043df6c42835254bc52842eb79 ppl-yap-static-0.9-13.fc7.ppc.rpm
4ab0448ac988b3a9c61e9463d9244fb0853c4a80 ppl-static-0.9-13.fc7.ppc.rpm
62983287bdb7c08f16ab2119d90e7b4d127a2bc9 ppl-debuginfo-0.9-13.fc7.ppc.rpm
d34865116d9c1b384e62a1c983230c5273391cd0 ppl-yap-0.9-13.fc7.ppc.rpm
f7bd4cd1ce1363ed1125895800d1676194b1a404 ppl-yap-static-0.9-13.fc7.x86_64.rpm
94b04c42081002820cfef876da11b7fd17e5d21c ppl-pwl-0.9-13.fc7.x86_64.rpm
fd7548019deca7e69166a42f8c8dfdf785b5aa49 ppl-pwl-devel-0.9-13.fc7.x86_64.rpm
00cde5821bffc45e94edb202ed584c71ae2af2a4 ppl-0.9-13.fc7.x86_64.rpm
fe0e8770c94c192e0b6e3b93c4b9c660981eb81c ppl-debuginfo-0.9-13.fc7.x86_64.rpm
014c833500ecddc86fa617ff60e069827b03e87e ppl-yap-0.9-13.fc7.x86_64.rpm
29c82cc8c59a4bc3ccc569a557f96faee629a6f5 ppl-docs-0.9-13.fc7.x86_64.rpm
4062f8fc62b87dbd991109c83cc3920f977d66c8 ppl-swiprolog-0.9-13.fc7.x86_64.rpm
ebf17dd46c3350d4a53d855c90fff6d0c7196838 ppl-devel-0.9-13.fc7.x86_64.rpm
441ff89a5519da223b79db91aa641115a5caf280 ppl-utils-0.9-13.fc7.x86_64.rpm
04c6d3b675856347998a448578008da14b77cf43 ppl-gprolog-0.9-13.fc7.x86_64.rpm
513995c84671791c1a2635da0b84bd3e454834bf ppl-pwl-static-0.9-13.fc7.x86_64.rpm
014a49680c868f65cbc103d11ad169b4055829c7 ppl-swiprolog-static-0.9-13.fc7.x86_64.rpm
98b2169f44af09ab7d063539c1700dd14deb82ab ppl-static-0.9-13.fc7.x86_64.rpm
e4b7cca4e69d5745108e0d614f6b3e7e27433431 ppl-gprolog-static-0.9-13.fc7.x86_64.rpm
ce0150a7b48f338537174b841ca570fe830cdc96 ppl-pwl-devel-0.9-13.fc7.i386.rpm
957b66abdf96f64621423853a1efcc89ec6b59c1 ppl-docs-0.9-13.fc7.i386.rpm
1b5652ade8cc5cf8abb0cfe11056045c9d118cd5 ppl-swiprolog-0.9-13.fc7.i386.rpm
b0719b445774a27d56b06a917b2478129ebbaf7e ppl-swiprolog-static-0.9-13.fc7.i386.rpm
b459b4080bac96076238f3592b39fb90bb32d4ea ppl-gprolog-0.9-13.fc7.i386.rpm
944aafbb1c34e8566b42dccc5a69c4a7699b175d ppl-devel-0.9-13.fc7.i386.rpm
76b658d244fd9724619bc9a5111859a50264908f ppl-yap-static-0.9-13.fc7.i386.rpm
7bc41541c3ee5cf2c99e6aa8f9ec4188f850e277 ppl-yap-0.9-13.fc7.i386.rpm
69ede195fda3e365ed6365f203e45a81fd57ecae ppl-0.9-13.fc7.i386.rpm
7f5bc33d638087ecdfc816c7c8f68ddc860b474b ppl-static-0.9-13.fc7.i386.rpm
d78ff9df2c002ca54628b02932d189c1f66b70c0 ppl-0.9-13.fc7.src.rpm
eaaa814e53856e5073b6fd9d51786d86c582b37f ppl-docs-0.9-13.fc7.ppc.rpm
52981a1c9bb9fa7c54b0a50c50a9e7962fb27122 ppl-swiprolog-0.9-13.fc7.ppc.rpm
4f9db41d6faa7f4359da7e3772ae7a20ecdd5182 ppl-gprolog-static-0.9-13.fc7.ppc.rpm
6376d23869c32c1f44243d27fc93e2d5f2d55600 ppl-devel-0.9-13.fc7.ppc.rpm
1824cef860ba398708de97529bff26600e4f5b07 ppl-pwl-0.9-13.fc7.i386.rpm
dc3379168f853d6c8c61a3519b3eb2ae9b2d4746 ppl-gprolog-static-0.9-13.fc7.i386.rpm
1d3253f467dbc5ade337bff60862076cf3de5679 ppl-utils-0.9-13.fc7.i386.rpm
ed40379052dc3e3f0de1da831f6f2a2a4f5ba665 ppl-debuginfo-0.9-13.fc7.i386.rpm
51745921e9681bc2aca9273d230472e96fcd3587 ppl-pwl-static-0.9-13.fc7.i386.rpm
a99704949d51a307e2d91842b6e4522e5170d2e3 ppl-docs-0.9-13.fc7.ppc64.rpm
4a4d48067bea60dd672fd987e1b728f84c19a03c ppl-debuginfo-0.9-13.fc7.ppc64.rpm
aafdcb06badd2a3295e76afa82359139fcadc067 ppl-pwl-devel-0.9-13.fc7.ppc64.rpm
ad4e3598b4e5229b350edb226d3a61f920662731 ppl-swiprolog-static-0.9-13.fc7.ppc64.rpm
108f78a671c70929482955e006fcc3eec73395ec ppl-devel-0.9-13.fc7.ppc64.rpm
dd31e2428314e8c11c5dca309674cf0cc272a728 ppl-utils-0.9-13.fc7.ppc64.rpm
b1631739ea5e0b1bd018c2a6ba73e3beb3dfcb7e ppl-swiprolog-0.9-13.fc7.ppc64.rpm
067b9a3e4bcb2b311af5438d97ccfc384e93863a ppl-static-0.9-13.fc7.ppc64.rpm
1c51ec86bc96c15c8b3beaf6a136b73d787631cd ppl-0.9-13.fc7.ppc64.rpm
8ba560c8d091bdefd27da60c7ad4ffb73ac6bd50 ppl-yap-static-0.9-13.fc7.ppc64.rpm
bef947a4434d4293f11273b55102a3ed998ac0c9 ppl-pwl-0.9-13.fc7.ppc64.rpm
3d56e59889fa499e83e66ca8390e58a948b640e8 ppl-pwl-static-0.9-13.fc7.ppc64.rpm
7a46758929ef2439f231f3509586206ea44873b2 ppl-yap-0.9-13.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/.
--------------------------------------------------------------------------------

-- 
fedora-test-list mailing list
fedora-test-list@xxxxxxxxxx
To unsubscribe: 
https://www.redhat.com/mailman/listinfo/fedora-test-list

[Index of Archives]     [Fedora Desktop]     [Fedora SELinux]     [Photo Sharing]     [Yosemite Forum]     [KDE Users]

  Powered by Linux