ppl-swiprolog-1.2-24.el9 RPM for x86_64

From EPEL 9 for x86_64 / Packages / p

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.

Provides

• ppl-swiprolog
• libppl_swiprolog.so()(64bit)
• ppl-swiprolog(x86-64)
• swiprolog-static

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libgmp.so.10()(64bit)
• libgmpxx.so.4()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libppl.so.14()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• libswipl.so.8()(64bit)
• pl(x86-64) >= 5.10.2-3
• ppl(x86-64) = 1.2-24.el9
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

GPLv3+

Changelog

* 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
* Sat Feb 05 2022 Jiri Vanek <[email protected]> - 1.2-23
  - Rebuilt for java-17-openjdk as system jdk
* Fri Jan 21 2022 Fedora Release Engineering <[email protected]> - 1.2-22
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Sat Oct 02 2021 Jerry James <[email protected]> - 1.2-21
  - Rebuild for pl 8.4.0
* Fri Jul 23 2021 Fedora Release Engineering <[email protected]> - 1.2-20
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Wed Jan 27 2021 Fedora Release Engineering <[email protected]> - 1.2-19
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Tue Jul 28 2020 Fedora Release Engineering <[email protected]> - 1.2-18
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Files

/usr/lib/.build-id
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/7c2042e9ce06a8e00fc032f7f43c7094fd3e19
/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, Fri Dec 13 04:59:21 2024