Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM python2-pycosat-0.6.3-3.fc29.riscv64.rpm

ID	165211
Name	python2-pycosat
Version	0.6.3
Release	3.fc29
Epoch
Arch	riscv64
Summary	Python 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 Time	2018-07-07 10:45:52 GMT
Size	19.27 KB
SIGMD5	1533a0f617148321bc00d1a0c6e57089
License	MIT
Buildroot	f29-build-16608-8084
Provides	python-pycosat = 0.6.3-3.fc29 python-pycosat(riscv-64) = 0.6.3-3.fc29 python2-pycosat = 0.6.3-3.fc29 python2-pycosat(riscv-64) = 0.6.3-3.fc29 python2.7dist(pycosat) = 0.6.3 python2dist(pycosat) = 0.6.3
Obsoletes	python-pycosat < 0.6.3-3.fc29
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) libpython2.7.so.1.0()(64bit) python(abi) = 2.7 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 Size /usr/lib/.build-id 0.00 B /usr/lib/.build-id/8e 0.00 B /usr/lib/.build-id/8e/9fe7b51ab4023a89d402a2d3956e36c2aea7ea 56.00 B /usr/lib64/python2.7/site-packages/pycosat-0.6.3-py2.7.egg-info 0.00 B /usr/lib64/python2.7/site-packages/pycosat-0.6.3-py2.7.egg-info/PKG-INFO 6.22 KB /usr/lib64/python2.7/site-packages/pycosat-0.6.3-py2.7.egg-info/SOURCES.txt 169.00 B /usr/lib64/python2.7/site-packages/pycosat-0.6.3-py2.7.egg-info/dependency_links.txt 1.00 B /usr/lib64/python2.7/site-packages/pycosat-0.6.3-py2.7.egg-info/top_level.txt 21.00 B /usr/lib64/python2.7/site-packages/pycosat.so 12.44 KB /usr/share/doc/python2-pycosat 0.00 B /usr/share/doc/python2-pycosat/CHANGELOG 1.80 KB /usr/share/doc/python2-pycosat/README.rst 4.39 KB /usr/share/licenses/python2-pycosat 0.00 B /usr/share/licenses/python2-pycosat/LICENSE 1.06 KB
Component of	No Buildroots