↵ Return to the main page of cryptominisat
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
2024-07-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 5.11.22-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild |
2024-07-16 | Jerry James <loganjerry at gmail dot 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 |
2024-06-08 | Python Maint <python dash maint at redhat dot com> - 5.11.21-3 | - Rebuilt for Python 3.13 |
2024-03-25 | Jerry James <loganjerry at gmail dot com> - 5.11.21-2 | - Use tomllib instead of toml |
2024-02-09 | Jerry James <loganjerry at gmail dot com> - 5.11.21-1 | - Version 5.11.21 - Stop building for 32-bit x86 |
2024-01-31 | Jerry James <loganjerry at gmail dot com> - 5.11.15-1 | - Version 5.11.15 - Drop unused sqlite dependency - Dynamically generate python BuildRequires - Drop upstreamed setuptools and include patches - Unbundle picosat - Avoid rebuilding the entire library for python - Build with BreakID support - Rename the python subpackage to match upstream |
2024-01-24 | Fedora Release Engineering <releng at fedoraproject dot org> - 5.8.0-18 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
2024-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 5.8.0-17 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
2024-01-18 | Jonathan Wakely <jwakely at redhat dot com> - 5.8.0-16 | - Rebuilt for Boost 1.83 |
2023-07-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 5.8.0-15 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |