python-pycosat-0.6.3-7.fc31 | Build Info

Information for build python-pycosat-0.6.3-7.fc31

117969

Package Name

python-pycosat

Version

0.6.3

Release

7.fc31

Epoch

Source

git+https://src.fedoraproject.org/rpms/python-pycosat.git#58f3e47ab8953f810f3dfcccd74c12e770ad9d36

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

Fri, 02 Aug 2019 23:59:14 UTC

Completed

Sat, 03 Aug 2019 01:49:38 UTC

Task

build (f31-candidate, /rpms/python-pycosat.git:58f3e47ab8953f810f3dfcccd74c12e770ad9d36)

Extra

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

Tags

f31

f32

f33

RPMs

src
	python-pycosat-0.6.3-7.fc31.src.rpm (info) (download)
riscv64
	python3-pycosat-0.6.3-7.fc31.riscv64.rpm (info) (download)
	python-pycosat-debugsource-0.6.3-7.fc31.riscv64.rpm (info) (download)
	python3-pycosat-debuginfo-0.6.3-7.fc31.riscv64.rpm (info) (download)

Logs

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

Changelog

* Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sun Oct 07 2018 Orion Poplawski <orion@nwra.com> - 0.6.3-5 - Drop Python 2 package for Fedora 30+ (bugz #1634962) * Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 0.6.3-3 - Rebuilt for Python 3.7 * Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Mon Feb 05 2018 Orion Poplawski <orion@cora.nwra.com> - 0.6.3-1 - Update to 0.6.3 * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.1-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild

Main Site Links:

Information for build python-pycosat-0.6.3-7.fc31