| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: cryptominisat-libs | Distribution: Fedora Project |
| Version: 5.16.0 | Vendor: Fedora Project |
| Release: 1.fc46 | Build date: Fri Sep 25 21:58:04 2026 |
| Group: Unspecified | Build host: buildhw-x86-13.rdu3.fedoraproject.org |
| Size: 1562103 | Source RPM: cryptominisat-5.16.0-1.fc46.src.rpm |
| Packager: Fedora Project | |
| Url: https://www.msoos.org/ | |
| Summary: Cryptominisat library | |
The cryptominisat library.
MIT
* Fri Sep 25 2026 Jerry James <loganjerry@gmail.com> - 5.16.0-1 - Version 5.16.0 - Build with bundled (modified) picosat - Ship the cadiback libraries * Wed Jul 22 2026 Python Maint <python-maint@redhat.com> - 5.14.7-3 - Rebuilt for Python 3.15.0b4 ABI change * Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.14.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Wed Jul 08 2026 Jerry James <loganjerry@gmail.com> - 5.14.7-1 - Version 5.14.7 - Drop upstreamed breakid patch - Drop unused gperftools dependency * Thu Jun 04 2026 Python Maint <python-maint@redhat.com> - 5.14.5-2 - Rebuilt for Python 3.15 * Mon Jun 01 2026 Jerry James <loganjerry@gmail.com> - 5.14.5-1 - Version 5.14.5 - Use the cmake declarative buildsystem * 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
/usr/lib/.build-id /usr/lib/.build-id/32 /usr/lib/.build-id/32/e7e88da598f8b95a62f993cc3287d1e94dda2b /usr/lib/.build-id/8a /usr/lib/.build-id/8a/d08ce519b637fc10053bb9e74ffdb4faa2536b /usr/lib/.build-id/91 /usr/lib/.build-id/91/7dd84828ee6401c94d73f796947cfe8f4cc217 /usr/lib64/libcadiback.so.0 /usr/lib64/libcadiback.so.0.2.1 /usr/lib64/libcryptominisat5.so.5.16 /usr/lib64/liboracle.so.5.16 /usr/share/doc/cryptominisat-libs /usr/share/doc/cryptominisat-libs/AUTHORS /usr/share/licenses/cryptominisat-libs /usr/share/licenses/cryptominisat-libs/LICENSE.txt
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Sep 29 22:56:20 2026