Main Site Links:

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

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

ID	213534
Name	python2-pycosat
Version	0.6.3
Release	4.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-28 12:47:16 GMT
Size	18.60 KB
SIGMD5	037b5f7d6ea0dab413eda7e3c371deaf
License	MIT
Buildroot	f29-build-20694-10824
Provides	python-pycosat = 0.6.3-4.fc29 python-pycosat(riscv-64) = 0.6.3-4.fc29 python2-pycosat = 0.6.3-4.fc29 python2-pycosat(riscv-64) = 0.6.3-4.fc29 python2.7dist(pycosat) = 0.6.3 python2dist(pycosat) = 0.6.3
Obsoletes	python-pycosat < 0.6.3-4.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/e2 0.00 B /usr/lib/.build-id/e2/8df52f8813fe9f9457cbea0f51d970db72f1b4 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