| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: python3-pycryptosat | Distribution: Fedora Project |
| Version: 5.14.4 | Vendor: Fedora Project |
| Release: 1.fc45 | Build date: Thu Apr 30 20:06:25 2026 |
| Group: Unspecified | Build host: buildvm-ppc64le-32.rdu3.fedoraproject.org |
| Size: 77146 | Source RPM: cryptominisat-5.14.4-1.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: https://www.msoos.org/ | |
| Summary: Python 3 interface to cryptominisat | |
Python 3 interface to cryptominisat.
MIT
* Thu Apr 30 2026 Jerry James <loganjerry@gmail.com> - 5.14.4-1 - Version 5.14.4 - Drop upstreamed fpic, python-library, and toml patches - Permit use of cmake 4 * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.13.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.13.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Mon Jan 12 2026 Jerry James <loganjerry@gmail.com> - 5.13.0-5 - Drop old obsoletes - Be more precise about globbing in %files * Fri Dec 05 2025 Jerry James <loganjerry@gmail.com> - 5.13.0-4 - Rebuild for cadical 2.2.0 - Fix underlinked cadiback library * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.13.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Tue Jun 03 2025 Python Maint <python-maint@redhat.com> - 5.13.0-2 - Rebuilt for Python 3.14 * Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 5.13.0-1 - Version 5.13.0 - Add patch to adapt to breakid 3.1.3 - Add patch to fix -fPIC snafu * Tue Feb 11 2025 Jerry James <loganjerry@gmail.com> - 5.12.1-1 - Version 5.12.1 - Drop upstreamed remove-old-api patch - Use zlib-ng instead of zlib * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.11.22-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Mon Jan 13 2025 Jerry James <loganjerry@gmail.com> - 5.11.22-3 - Move configuration steps to %conf * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.11.22-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 5.11.22-1 - Version 5.11.22 - Simplify license to just MIT now that BSD-3-Clause code is gone - Bundle cadiback, which is not available as a library upstream - Minor spec file simplifications * Sat Jun 08 2024 Python Maint <python-maint@redhat.com> - 5.11.21-3 - Rebuilt for Python 3.13
/usr/lib/.build-id /usr/lib/.build-id/9e /usr/lib/.build-id/9e/66ff72b33dfff4f2d9050fd1e9b0b4c46d611d /usr/lib64/python3.14/site-packages/pycryptosat-5.14.4.dist-info /usr/lib64/python3.14/site-packages/pycryptosat-5.14.4.dist-info/INSTALLER /usr/lib64/python3.14/site-packages/pycryptosat-5.14.4.dist-info/METADATA /usr/lib64/python3.14/site-packages/pycryptosat-5.14.4.dist-info/top_level.txt /usr/lib64/python3.14/site-packages/pycryptosat.cpython-314-powerpc64le-linux-gnu.so /usr/share/doc/python3-pycryptosat /usr/share/doc/python3-pycryptosat/README.md /usr/share/licenses/python3-pycryptosat /usr/share/licenses/python3-pycryptosat/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat May 2 00:50:29 2026