Dependency of ix-firewall-plesk-0.1.8-2.1.src.rpm
Name: ppl-swiprolog
Project: CentOS_6.0
Repository: oss
Title: The SWI-Prolog interface of the Parma Polyhedra Library
Description:
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.
Version: 0.10.2
Release: 11.el6
Architecture: i686
Size: 2.18 MB
Build Time: 2011-07-03 06:41:29 +0200 (almost 13 years ago)
Provides
| Symbol | Required by |
|---|---|
| libppl_swiprolog.so | |
| ppl-swiprolog = 0.10.2-11.el6 | ppl-swiprolog-static |
| ppl-swiprolog(x86-32) = 0.1... |
Requires
| Symbol | Provided by |
|---|---|
| libc.so.6 | glibc |
| libc.so.6(GLIBC_2.0) | glibc |
| libc.so.6(GLIBC_2.1.3) | glibc |
| libgcc_s.so.1 | libgcc |
| libgcc_s.so.1(GCC_3.0) | libgcc |
| libgmp.so.3 | gmp |
| libgmpxx.so.4 | gmp |
| libm.so.6 | glibc |
| libm.so.6(GLIBC_2.0) | glibc |
| libpl.so.5.7.11 | pl |
| libppl.so.7 | ppl |
| libpthread.so.0 | glibc |
| libpthread.so.0(GLIBC_2.0) | glibc |
| libpwl.so.4 | ppl-pwl |
| libstdc++.so.6 | libstdc++ |
| libstdc++.so.6(CXXABI_1.3) | libstdc++ |
| libstdc++.so.6(GLIBCXX_3.4) | libstdc++ |
| libstdc++.so.6(GLIBCXX_3.4.11) | libstdc++ |
| libstdc++.so.6(GLIBCXX_3.4.9) | libstdc++ |
| pl >= 5.6.57-2 | pl |
| ppl = 0.10.2-11.el6 | ppl |
| ppl-pwl = 0.10.2-11.el6 | ppl-pwl |
| rtld(GNU_HASH) | glibc |