python-pycosat-0.6.3-2.fc29 | Build Info

Information for build python-pycosat-0.6.3-2.fc29

25212

Package Name

python-pycosat

Version

0.6.3

Release

2.fc29

Epoch

Source

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

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

Sun, 10 Jun 2018 02:31:05 UTC

Completed

Sun, 10 Jun 2018 07:15:50 UTC

Task

build (f29-candidate, python-pycosat-0.6.3-2.fc29.src.rpm)

Extra

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

Tags

f29

RPMs

src
	python-pycosat-0.6.3-2.fc29.src.rpm (info) (download)
riscv64
	python2-pycosat-0.6.3-2.fc29.riscv64.rpm (info) (download)
	python3-pycosat-0.6.3-2.fc29.riscv64.rpm (info) (download)
	python-pycosat-debuginfo-0.6.3-2.fc29.riscv64.rpm (info) (download)
	python-pycosat-debugsource-0.6.3-2.fc29.riscv64.rpm (info) (download)
	python2-pycosat-debuginfo-0.6.3-2.fc29.riscv64.rpm (info) (download)
	python3-pycosat-debuginfo-0.6.3-2.fc29.riscv64.rpm (info) (download)

Logs

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

Changelog

* 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 * Tue Jul 19 2016 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.6.1-8 - https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages * Tue Apr 19 2016 Orion Poplawski <orion@cora.nwra.com> - 0.6.1-7 - Build python3 packages for EPEL7 * Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.1-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Wed Jan 13 2016 Jerry James <loganjerry@gmail.com> - 0.6.1-5 - Rebuild for picosat 965 * Sun Jan 03 2016 Orion Poplawski <orion@cora.nwra.com> - 0.6.1-4 - Fix PYTHONPATH in %check * Tue Nov 10 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.6.1-3 - Rebuilt for https://fedoraproject.org/wiki/Changes/python3.5 * Tue Sep 22 2015 Orion Poplawski <orion@cora.nwra.com> - 0.6.1-2 - Quiet setup * Mon Sep 21 2015 Orion Poplawski <orion@cora.nwra.com> - 0.6.1-1 - Initial package

Main Site Links:

Information for build python-pycosat-0.6.3-2.fc29