Fedora Packages

cryptominisat-devel-5.8.0-12.fc38 in Fedora 38

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

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

Changelog

Date Author Change
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
2022-12-19 Jerry James <loganjerry at gmail dot com> - 5.8.0-11 - Use setuptools instead of distutils (rhbz#2154857)
2022-08-15 Jerry James <loganjerry at gmail dot com> - 5.8.0-10 - Convert License tag to SPDX
2022-07-20 Fedora Release Engineering <releng at fedoraproject dot org> - 5.8.0-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-13 Python Maint <python dash maint at redhat dot com> - 5.8.0-9 - Rebuilt for Python 3.11
2022-05-04 Thomas Rodgers <trodgers at redhat dot com> - 5.8.0-8 - Rebuilt for Boost 1.78
2022-01-20 Fedora Release Engineering <releng at fedoraproject dot org> - 5.8.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-08-06 Jonathan Wakely <jwakely at redhat dot com> - 5.8.0-6 - Rebuilt for Boost 1.76
2021-07-21 Fedora Release Engineering <releng at fedoraproject dot org> - 5.8.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Provides

  • cmake(cryptominisat5)
  • cryptominisat-devel
  • cryptominisat-devel(x86-64)

Files


Sources on Pagure