python-pycosat-0.6.6-3.fc40 | Build Info

Information for build python-pycosat-0.6.6-3.fc40

293444

Package Name

python-pycosat

Version

0.6.6

Release

3.fc40

Epoch

Source

git+https://src.fedoraproject.org/rpms/python-pycosat.git#6aacb2b616cca5663d361bd68c417432e40cf097

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.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Thu, 29 Feb 2024 12:33:15 UTC

Completed

Thu, 29 Feb 2024 13:14:34 UTC

Task

build (f40, /rpms/python-pycosat.git:6aacb2b616cca5663d361bd68c417432e40cf097)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/python-pycosat.git#6aacb2b616cca5663d361bd68c417432e40cf097'}}

Tags

f40

f41

RPMs

src
	python-pycosat-0.6.6-3.fc40.src.rpm (info) (download)
riscv64
	python3-pycosat-0.6.6-3.fc40.riscv64.rpm (info) (download)
	python-pycosat-debugsource-0.6.6-3.fc40.riscv64.rpm (info) (download)
	python3-pycosat-debuginfo-0.6.6-3.fc40.riscv64.rpm (info) (download)

Logs

riscv64
	state.log
	root.log
	hw_info.log
	build.log
	mock_output.log

Changelog

* 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 * Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.4-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Thu Oct 27 2022 Orion Poplawski <orion@nwra.com> - 0.6.4-1 - Update to 0.6.4 * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 0.6.3-18 - Rebuilt for Python 3.11

Main Site Links:

Information for build python-pycosat-0.6.6-3.fc40