python-pycosat-0.6.3-5.fc30 | Build Info

Information for build python-pycosat-0.6.3-5.fc30

81732

Package Name

python-pycosat

Version

0.6.3

Release

5.fc30

Epoch

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, 07 Dec 2018 01:34:38 UTC

Completed

Fri, 07 Dec 2018 04:00:24 UTC

Task

build (f30-candidate, python-pycosat-0.6.3-5.fc30.src.rpm)

Tags

f30

f31

RPMs

src
	python-pycosat-0.6.3-5.fc30.src.rpm (info) (download)
riscv64
	python3-pycosat-0.6.3-5.fc30.riscv64.rpm (info) (download)
	python-pycosat-debugsource-0.6.3-5.fc30.riscv64.rpm (info) (download)
	python3-pycosat-debuginfo-0.6.3-5.fc30.riscv64.rpm (info) (download)

Logs

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

Changelog

* 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 * Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.1-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.1-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Mon Dec 19 2016 Miro Hrončok <mhroncok@redhat.com> - 0.6.1-9 - Rebuild for Python 3.6

Main Site Links:

Information for build python-pycosat-0.6.3-5.fc30