Wed, 01 May 2024 04:59:19 UTC | login

Information for RPM python3-clingo-5.4.1-1.fc33.riscv64.rpm

ID770611
Namepython3-clingo
Version5.4.1
Release1.fc33
Epoch
Archriscv64
SummaryPython 3 bindings for Clingo
DescriptionThis module provides functions and classes to work with ground terms and to control the instantiation process. In clingo builts, additional functions to control and inspect the solving process are available. Functions defined in a python script block are callable during the instantiation process using @-syntax. The default grounding/solving process can be customized if a main function is provided. Detailed information (including a User's manual), source code, and pre-compiled binaries are available at: http://potassco.org/
Build Time2021-04-08 18:26:20 GMT
Size229.79 KB
d50b47cfb26865e3e61864eb2adfcc72
LicenseMIT
Buildrootf33-build-557726-65631
Provides
libpyclingo.so.1()(64bit)
python-clingo = 5.4.1-1.fc33
python3-clingo = 5.4.1-1.fc33
python3-clingo(riscv-64) = 5.4.1-1.fc33
python3.9-clingo = 5.4.1-1.fc33
Obsoletes
python-clingo < 5.4.1-1.fc33
Conflicts No Conflicts
Requires
clingo(riscv-64) = 5.4.1-1.fc33
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libclingo.so.3()(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(64bit)
libpython3.9.so.1.0()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.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.21)(64bit)
libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
python(abi) = 3.9
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)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 8 of 8
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/330.00 B
/usr/lib/.build-id/33/21ce904ba5f3c704b4a43d63584b2d70a2084f40.00 B
/usr/lib/.build-id/d60.00 B
/usr/lib/.build-id/d6/c46870404bd193f6a8d8d0b06d504c6edb96fc84.00 B
/usr/lib64/libpyclingo.so.118.00 B
/usr/lib64/libpyclingo.so.1.0468.45 KB
/usr/lib64/python3.9/site-packages/clingo.cpython-39-riscv64-linux-gnu.so468.48 KB
Component of No Buildroots