Name: python3-pycosat	Distribution: Fedora Project
Version: 0.6.6	Vendor: Fedora Project
Release: 7.fc43	Build date: Mon Jun 2 22:56:44 2025
Group: Unspecified	Build host: buildvm-a64-09.iad2.fedoraproject.org
Size: 132570	Source RPM: python-pycosat-0.6.6-7.fc43.src.rpm
Packager: Fedora Project
Url: https://github.com/ContinuumIO/pycosat
Summary: Python bindings to picosat (a SAT solver)

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.

Provides

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)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libpicosat.so.0()(64bit)
python(abi) = 3.14
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)

License

MIT

Changelog

* Mon Jun 02 2025 Python Maint <python-maint@redhat.com> - 0.6.6-7
  - Rebuilt for Python 3.14
* Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.6-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.6-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 0.6.6-4
  - Rebuilt for Python 3.13
* Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.6-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.6-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Wed Oct 04 2023 Orion Poplawski <orion@nwra.com> - 0.6.6-1
  - Update to 0.6.6
* Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.4-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jun 13 2023 Python Maint <python-maint@redhat.com> - 0.6.4-3
  - Rebuilt for Python 3.12

Files

/usr/lib/.build-id
/usr/lib/.build-id/53
/usr/lib/.build-id/53/bf2d9ced6f372e07efcfcce0a56f7be1a11556
/usr/lib64/python3.14/site-packages/__pycache__
/usr/lib64/python3.14/site-packages/__pycache__/test_pycosat.cpython-314.opt-1.pyc
/usr/lib64/python3.14/site-packages/__pycache__/test_pycosat.cpython-314.pyc
/usr/lib64/python3.14/site-packages/pycosat-0.6.6-py3.14.egg-info
/usr/lib64/python3.14/site-packages/pycosat-0.6.6-py3.14.egg-info/PKG-INFO
/usr/lib64/python3.14/site-packages/pycosat-0.6.6-py3.14.egg-info/SOURCES.txt
/usr/lib64/python3.14/site-packages/pycosat-0.6.6-py3.14.egg-info/dependency_links.txt
/usr/lib64/python3.14/site-packages/pycosat-0.6.6-py3.14.egg-info/top_level.txt
/usr/lib64/python3.14/site-packages/pycosat.cpython-314-aarch64-linux-gnu.so
/usr/lib64/python3.14/site-packages/test_pycosat.py
/usr/share/doc/python3-pycosat
/usr/share/doc/python3-pycosat/AUTHORS.md
/usr/share/doc/python3-pycosat/CHANGELOG.md
/usr/share/doc/python3-pycosat/README.rst
/usr/share/licenses/python3-pycosat
/usr/share/licenses/python3-pycosat/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jun 14 01:43:23 2025

python3-pycosat-0.6.6-7.fc43 RPM for aarch64

From Fedora Rawhide for aarch64 / p

Provides

Requires

License

Changelog

Files