Mon, 17 Feb 2025 10:04:45 UTC | login

Information for build python-pycosat-0.6.3-9.fc32

ID131235
Package Namepython-pycosat
Version0.6.3
Release9.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/python-pycosat.git#6d91d34addfc3cfdb4d2dd23a770259c15853cb7
SummaryPython 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 bydavidlt
State failed
Volume DEFAULT
StartedTue, 03 Dec 2019 09:25:38 UTC
CompletedTue, 03 Dec 2019 09:39:29 UTC
Taskbuild (f32-candidate, /rpms/python-pycosat.git:6d91d34addfc3cfdb4d2dd23a770259c15853cb7)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/python-pycosat.git#6d91d34addfc3cfdb4d2dd23a770259c15853cb7'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Oct 03 2019 Miro Hrončok <mhroncok@redhat.com> - 0.6.3-9 - Rebuilt for Python 3.8.0rc1 (#1748018) * Mon Aug 19 2019 Miro Hrončok <mhroncok@redhat.com> - 0.6.3-8 - Rebuilt for Python 3.8 * 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