| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: python3-pycosat | Distribution: Fedora Project |
| Version: 0.6.3 | Vendor: Fedora Project |
| Release: 12.el8 | Build date: Tue Apr 6 04:05:19 2021 |
| Group: Unspecified | Build host: buildvm-a64-05.iad2.fedoraproject.org |
| Size: 122078 | Source RPM: python-pycosat-0.6.3-12.el8.src.rpm |
| Packager: Fedora Project | |
| Url: https://github.com/ContinuumIO/pycosat | |
| Summary: Python bindings to picosat (a SAT solver) | |
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.
MIT
* Wed Jun 24 2020 Orion Poplawski <orion@nwra.com> - 0.6.3-12 - Add BR on python-setuptools * Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 0.6.3-11 - Rebuilt for Python 3.9 * Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.6.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * 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 * 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
/usr/lib/.build-id /usr/lib/.build-id/dc /usr/lib/.build-id/dc/dc82f621ad89502935866d7a8a7133de9130fe /usr/lib64/python3.6/site-packages/__pycache__ /usr/lib64/python3.6/site-packages/__pycache__/test_pycosat.cpython-36.opt-1.pyc /usr/lib64/python3.6/site-packages/__pycache__/test_pycosat.cpython-36.pyc /usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info /usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/PKG-INFO /usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/SOURCES.txt /usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/dependency_links.txt /usr/lib64/python3.6/site-packages/pycosat-0.6.3-py3.6.egg-info/top_level.txt /usr/lib64/python3.6/site-packages/pycosat.cpython-36m-aarch64-linux-gnu.so /usr/lib64/python3.6/site-packages/test_pycosat.py /usr/share/doc/python3-pycosat /usr/share/doc/python3-pycosat/CHANGELOG /usr/share/doc/python3-pycosat/README.rst /usr/share/licenses/python3-pycosat /usr/share/licenses/python3-pycosat/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Nov 4 06:08:31 2024