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