Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ppl-swiprolog | Distribution: Fedora Project |
Version: 1.2 | Vendor: Fedora Project |
Release: 27.fc39 | Build date: Fri Jul 21 08:19:09 2023 |
Group: Unspecified | Build host: buildvm-a64-19.iad2.fedoraproject.org |
Size: 6370915 | Source RPM: ppl-1.2-27.fc39.src.rpm |
Packager: Fedora Project | |
Url: http://www.bugseng.com/ppl | |
Summary: The SWI-Prolog interface of the Parma Polyhedra Library |
This package adds SWI-Prolog support to the Parma Polyhedra Library. Install this package if you want to use the library in SWI-Prolog programs.
GPL-3.0-or-later
* Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-27 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-26 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Dec 20 2022 Jerry James <loganjerry@gmail.com> - 1.2-25 - Convert License tags to SPDX * Fri Dec 16 2022 Jerry James <loganjerry@gmail.com> - 1.2-25 - Rebuild for pl 9.0.2 * 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
/usr/lib/.build-id /usr/lib/.build-id/e3 /usr/lib/.build-id/e3/a40f6dd1c560da1aaa4c273fd807bec0d447c8 /usr/lib64/ppl/libppl_swiprolog.so /usr/share/doc/ppl-swiprolog /usr/share/doc/ppl-swiprolog/README.swiprolog /usr/share/ppl/ppl_swiprolog.pl
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 22:15:25 2024