Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ppl | Distribution: Fedora Project |
Version: 1.2 | Vendor: Fedora Project |
Release: 31.fc40 | Build date: Thu Feb 15 22:42:08 2024 |
Group: Unspecified | Build host: buildvm-x86-30.iad2.fedoraproject.org |
Size: 6199997 | Source RPM: ppl-1.2-31.fc40.src.rpm |
Packager: Fedora Project | |
Url: http://www.bugseng.com/ppl | |
Summary: The Parma Polyhedra Library: a library of numerical abstractions |
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.
GPL-3.0-or-later
* Wed Feb 14 2024 Jerry James <[email protected]> - 1.2-31 - Rebuild for ppl 9.2.1 - Stop building for 32-bit x86 * Thu Feb 01 2024 Jerry James <[email protected]> - 1.2-30 - Rebuild for ppl 9.2.0 * Fri Jan 26 2024 Fedora Release Engineering <[email protected]> - 1.2-29 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <[email protected]> - 1.2-28 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jul 21 2023 Fedora Release Engineering <[email protected]> - 1.2-27 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Jan 20 2023 Fedora Release Engineering <[email protected]> - 1.2-26 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Dec 20 2022 Jerry James <[email protected]> - 1.2-25 - Convert License tags to SPDX * Fri Dec 16 2022 Jerry James <[email protected]> - 1.2-25 - Rebuild for pl 9.0.2 * Mon Jul 25 2022 Jerry James <[email protected]> - 1.2-24 - Do not build the Java interface on i686 (rhbz#2104091) - Build the gprolog interface on aarch64 * Fri Jul 22 2022 Fedora Release Engineering <[email protected]> - 1.2-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
/usr/bin/ppl-config /usr/lib/.build-id /usr/lib/.build-id/84 /usr/lib/.build-id/84/d45c013c5e4f2f9129ad6a943b8f7200aea7cd /usr/lib/.build-id/ad /usr/lib/.build-id/ad/fa5dcfd99c7d1b20e04ce6ad3ee2911f73da54 /usr/lib/.build-id/f5 /usr/lib/.build-id/f5/cbb02a7bca397651d8cda21cae7c5b1563dbb8 /usr/lib64/libppl.so.14 /usr/lib64/libppl.so.14.0.0 /usr/lib64/libppl_c.so.4 /usr/lib64/libppl_c.so.4.0.0 /usr/lib64/ppl /usr/share/doc/ppl /usr/share/doc/ppl/BUGS /usr/share/doc/ppl/COPYING /usr/share/doc/ppl/CREDITS /usr/share/doc/ppl/NEWS /usr/share/doc/ppl/README /usr/share/doc/ppl/README.configure /usr/share/doc/ppl/TODO /usr/share/doc/ppl/gpl.txt /usr/share/man/man1/ppl-config.1.gz /usr/share/ppl
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 23:23:40 2024