Tue, 10 Nov 2026 19:54:41 CST | login

Information for RPM python3-pycosat-0.6.6-3.oc9.aarch64.rpm

ID356650
Buildpython-pycosat-0.6.6-3.oc9
Namepython3-pycosat
Version0.6.6
Release3.oc9
Epoch
Archaarch64
DraftFalse
SummaryPython bindings to picosat (a SAT solver)
DescriptionPicoSAT 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 Time2025-06-13 16:50:49 GMT
Size29.06 KB
1c4ad7b32b368bc146ae3a7f58bbc92c
LicenseMIT
Buildrootdist-oc9-epol-build-156149-79739
Provides
python-pycosat = 0.6.6-3.oc9
python3-pycosat = 0.6.6-3.oc9
python3-pycosat(aarch-64) = 0.6.6-3.oc9
python3.11-pycosat = 0.6.6-3.oc9
python3.11dist(pycosat) = 0.6.6
python3dist(pycosat) = 0.6.6
Obsoletes
python3.11-pycosat < 0.6.6-3.oc9
Conflicts No Conflicts
Requires
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libpicosat.so.0()(64bit)
python(abi) = 3.11
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 19 of 19
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/e70.00 B
/usr/lib/.build-id/e7/b3aefabc5de094f3c03c194a36def00961335587.00 B
/usr/lib64/python3.11/site-packages/__pycache__0.00 B
/usr/lib64/python3.11/site-packages/__pycache__/test_pycosat.cpython-311.opt-1.pyc24.76 KB
/usr/lib64/python3.11/site-packages/__pycache__/test_pycosat.cpython-311.pyc25.05 KB
/usr/lib64/python3.11/site-packages/pycosat-0.6.6-py3.11.egg-info0.00 B
/usr/lib64/python3.11/site-packages/pycosat-0.6.6-py3.11.egg-info/PKG-INFO5.24 KB
/usr/lib64/python3.11/site-packages/pycosat-0.6.6-py3.11.egg-info/SOURCES.txt344.00 B
/usr/lib64/python3.11/site-packages/pycosat-0.6.6-py3.11.egg-info/dependency_links.txt1.00 B
/usr/lib64/python3.11/site-packages/pycosat-0.6.6-py3.11.egg-info/top_level.txt21.00 B
/usr/lib64/python3.11/site-packages/pycosat.cpython-311-aarch64-linux-gnu.so195.66 KB
/usr/lib64/python3.11/site-packages/test_pycosat.py8.60 KB
/usr/share/doc/python3-pycosat0.00 B
/usr/share/doc/python3-pycosat/AUTHORS.md303.00 B
/usr/share/doc/python3-pycosat/CHANGELOG.md2.08 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
1 through 2 of 2
Buildroot descending sort Created State
dist-oc9-epol-build-242590-82999 2026-06-26 17:43:18 expired
dist-oc9-epol-build-242581-82999 2026-06-26 17:33:55 expired