Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ppl-devel | Distribution: Fedora Project |
Version: 1.2 | Vendor: Fedora Project |
Release: 24.el9 | Build date: Sat Sep 17 07:17:55 2022 |
Group: Unspecified | Build host: buildvm-ppc64le-25.iad2.fedoraproject.org |
Size: 3957245 | Source RPM: ppl-1.2-24.el9.src.rpm |
Packager: Fedora Project | |
Url: http://www.bugseng.com/ppl | |
Summary: Development tools for the Parma Polyhedra Library C and C++ interfaces |
The header files, Autoconf macro and minimal documentation for developing applications using the Parma Polyhedra Library through its C and C++ interfaces.
GPLv3+
* Mon Jul 25 2022 Jerry James <loganjerry@gmail.com> - 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 <releng@fedoraproject.org> - 1.2-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 1.2-23 - Rebuilt for java-17-openjdk as system jdk * Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Sat Oct 02 2021 Jerry James <loganjerry@gmail.com> - 1.2-21 - Rebuild for pl 8.4.0 * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
/usr/include/ppl-ppc64le.hh /usr/include/ppl.hh /usr/include/ppl_c-ppc64le.h /usr/include/ppl_c.h /usr/lib64/libppl.so /usr/lib64/libppl_c.so /usr/share/aclocal/ppl.m4 /usr/share/aclocal/ppl_c.m4 /usr/share/man/man3/libppl.3.gz /usr/share/man/man3/libppl_c.3.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Sep 11 06:33:13 2024