Fedora Packages

cryptominisat-5.8.0-3.fc34 in Fedora 34

↵ 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
2021-01-26 Fedora Release Engineering <releng at fedoraproject dot org> - 5.8.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2021-01-22 Jonathan Wakely <jwakely at redhat dot com> - 5.8.0-2 - Rebuilt for Boost 1.75
2020-11-27 Jerry James <loganjerry at gmail dot com> - 5.8.0-1 - Version 5.8.0
2020-07-27 Fedora Release Engineering <releng at fedoraproject dot org> - 5.7.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-05-28 Jonathan Wakely <jwakely at redhat dot com> - 5.7.1-3 - Rebuilt for Boost 1.73
2020-05-26 Miro HronĨok <mhroncok at redhat dot com> - 5.7.1-2 - Rebuilt for Python 3.9
2020-05-07 Jerry James <loganjerry at gmail dot com> - 5.7.1-1 - Version 5.7.1
2020-04-25 Jerry James <loganjerry at gmail dot com> - 5.7.0-1 - Version 5.7.0
2020-01-28 Fedora Release Engineering <releng at fedoraproject dot org> - 5.6.8-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
2020-01-27 Jerry James <loganjerry at gmail dot com> - 5.6.8-5 - Rebuild for m4ri 20200125

Provides

  • cryptominisat
  • cryptominisat(x86-64)

Files


Sources on Pagure