Tue, 17 May 2022 13:28:02 UTC

Information for RPM ppl-swiprolog-0.11.2-2.fc16.i686.rpm

ID2563020
Nameppl-swiprolog
Version0.11.2
Release2.fc16
Epoch
Archi686
SummaryThe SWI-Prolog interface of the Parma Polyhedra Library
DescriptionThis package adds SWI-Prolog support to the Parma Polyhedra Library. Install this package if you want to use the library in SWI-Prolog programs.
Build Time2011-05-31 13:11:54 GMT
Size2.72 MB
28859c8143f795f50da39b0dfc472a45
LicenseGPLv3+
Buildrootf16-build-1072008-162370
Provides
libppl_swiprolog.so
ppl-swiprolog = 0.11.2-2.fc16
ppl-swiprolog(x86-32) = 0.11.2-2.fc16
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.3)
libgcc_s.so.1
libgcc_s.so.1(GCC_3.0)
libgmp.so.3
libgmpxx.so.4
libm.so.6
libm.so.6(GLIBC_2.0)
libppl.so.9
libpthread.so.0
libpthread.so.0(GLIBC_2.0)
libpwl.so.5
libstdc++.so.6
libstdc++.so.6(CXXABI_1.3)
libstdc++.so.6(GLIBCXX_3.4)
libstdc++.so.6(GLIBCXX_3.4.11)
libstdc++.so.6(GLIBCXX_3.4.15)
libstdc++.so.6(GLIBCXX_3.4.9)
libswipl.so.5.10.2
pl >= 5.10.2-3
ppl = 0.11.2-2.fc16
ppl-pwl = 0.11.2-2.fc16
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 5 of 5
Name ascending sort Size
/usr/bin/ppl_pl5.38 MB
/usr/lib/ppl/libppl_swiprolog.so5.58 MB
/usr/lib/ppl/ppl_swiprolog.pl1.02 KB
/usr/share/doc/ppl-swiprolog-0.11.24.00 KB
/usr/share/doc/ppl-swiprolog-0.11.2/README.swiprolog1.43 KB
Component of No Buildroots