Fedora Packages

cryptominisat-5.11.21-1.fc40 in Fedora 40

↵ Return to the main page of cryptominisat
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
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
2023-06-13 Python Maint <python dash maint at redhat dot com> - 5.8.0-14 - Rebuilt for Python 3.12
2023-02-20 Jonathan Wakely <jwakely at redhat dot com> - 5.8.0-13 - Rebuilt for Boost 1.81
2023-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 5.8.0-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2023-01-17 Jerry James <loganjerry at gmail dot com> - 5.8.0-11 - Add -include patch for GCC 13 compatibility

Provides

  • cryptominisat
  • cryptominisat(x86-64)

Files


Sources on Pagure