ppl-swiprolog-1.2-26.fc38 RPM for aarch64

From Fedora 38 for aarch64 / 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(aarch-64)

Requires

• ld-linux-aarch64.so.1()(64bit)
• ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(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.17)(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.30)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• libswipl.so.9()(64bit)
• pl(aarch-64) >= 5.10.2-3
• ppl(aarch-64) = 1.2-26.fc38
• 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

GPL-3.0-or-later

Changelog

* 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
* Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-19
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Files

/usr/lib/.build-id
/usr/lib/.build-id/ca
/usr/lib/.build-id/ca/d76d0eb10e8e7ab32e81b11891f150c7695a80
/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, Thu May 9 22:19:29 2024