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: 34.fc41 | Build date: Tue Sep 17 23:58:34 2024 |
Group: Unspecified | Build host: buildvm-ppc64le-21.iad2.fedoraproject.org |
Size: 7681339 | Source RPM: ppl-1.2-34.fc41.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
* Tue Sep 17 2024 Jerry James <[email protected]> - 1.2-34 - Adapt to changes in the pl package in F41+ * Fri Jul 19 2024 Fedora Release Engineering <[email protected]> - 1.2-33 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Feb 28 2024 Zhengyu He <[email protected]> - 1.2-32 - Add support for riscv64 * 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
/usr/lib/.build-id /usr/lib/.build-id/67 /usr/lib/.build-id/67/bf988ce554d83055e363efe51202f1f231b901 /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, Sun Oct 27 05:57:41 2024