Wed, 04 Dec 2024 06:05:07 UTC | login

Information for RPM python3-pycosat-0.6.3-2.fc29.riscv64.rpm

ID130695
Namepython3-pycosat
Version0.6.3
Release2.fc29
Epoch
Archriscv64
SummaryPython bindings to picosat (a SAT solver)
Description PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.
Build Time2018-06-09 22:14:56 GMT
Size19.09 KB
f82ab3f8efaed74f32ebbc1d4e5f9c0a
LicenseMIT
Buildrootf29-build-9596-4305
Provides
python3-pycosat = 0.6.3-2.fc29
python3-pycosat(riscv-64) = 0.6.3-2.fc29
python3.6dist(pycosat) = 0.6.3
python3dist(pycosat) = 0.6.3
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
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)
libpicosat.so.0()(64bit)
libpthread.so.0()(64bit)
libpython3.6m.so.1.0()(64bit)
python(abi) = 3.6
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 14 of 14
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/060.00 B
/usr/lib/.build-id/06/d5177b973c68fdbc55c08c3e3fdb68fcf5fb5586.00 B
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info0.00 B
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/PKG-INFO6.22 KB
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/SOURCES.txt169.00 B
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/dependency_links.txt1.00 B
/usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/top_level.txt21.00 B
/usr/lib64/python3.6/site-packages/pycosat.cpython-36m-riscv64-linux-gnu.so12.57 KB
/usr/share/doc/python3-pycosat0.00 B
/usr/share/doc/python3-pycosat/CHANGELOG1.80 KB
/usr/share/doc/python3-pycosat/README.rst4.39 KB
/usr/share/licenses/python3-pycosat0.00 B
/usr/share/licenses/python3-pycosat/LICENSE1.06 KB
Component of No Buildroots