INFO
Name: ppl-gprolog
Version: 1.2-24.el9
Arch: aarch64
Summary: The GNU Prolog interface of the Parma Polyhedra Library
License: GPLv3+
Vendor: Fedora Project
Build Host: buildhw-a64-22.iad2.fedoraproject.org
Build Date: Sat Sep 17 05:18:01 2022
Size: 11982521
URL: http://www.bugseng.com/ppl
Description: This package adds GNU Prolog support to the Parma Polyhedra Library (PPL).
Install this package if you want to use the library in GNU Prolog programs.
FILES
/usr/bin/ppl_gprolog
/usr/lib/.build-id
/usr/lib/.build-id/8b
/usr/lib/.build-id/8b/e5b0e79d1c00e1563606f81c4f9eb7c1f690fc
/usr/lib/.build-id/f5
/usr/lib/.build-id/f5/6a6ac2240dfde36d28db8066eedc3dc129c91b
/usr/lib64/ppl/libppl_gprolog.so
/usr/share/doc/ppl-gprolog
/usr/share/doc/ppl-gprolog/README.gprolog
/usr/share/ppl/ppl_gprolog.pl
REQUIRES
gprolog(aarch-64) 1.3.2
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)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(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)
libm.so.6(GLIBC_2.29)(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)
ppl(aarch-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)
PROVIDES
libppl_gprolog.so()(64bit)
ppl-gprolog 1.2-24.el9
ppl-gprolog(aarch-64) 1.2-24.el9
CONFIG FILES
/usr/bin/ppl_gprolog
/usr/lib/.build-id a
/usr/lib/.build-id/8b a
/usr/lib/.build-id/8b/e5b0e79d1c00e1563606f81c4f9eb7c1f690fc a
/usr/lib/.build-id/f5 a
/usr/lib/.build-id/f5/6a6ac2240dfde36d28db8066eedc3dc129c91b a
/usr/lib64/ppl/libppl_gprolog.so
/usr/share/doc/ppl-gprolog
/usr/share/doc/ppl-gprolog/README.gprolog d
/usr/share/ppl/ppl_gprolog.pl
LICENSE FILES
GPLv3+
|
