Fedora Packages

cryptominisat-libs-5.16.0-1.fc45 in Fedora 45

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

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

Changelog

Date Author Change
2026-09-25 Jerry James <loganjerry at gmail dot com> - 5.16.0-1 - Version 5.16.0 - Build with bundled (modified) picosat - Ship the cadiback libraries
2026-07-22 Python Maint <python dash maint at redhat dot com> - 5.14.7-3 - Rebuilt for Python 3.15.0b4 ABI change
2026-07-15 Fedora Release Engineering <releng at fedoraproject dot org> - 5.14.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
2026-07-08 Jerry James <loganjerry at gmail dot com> - 5.14.7-1 - Version 5.14.7 - Drop upstreamed breakid patch - Drop unused gperftools dependency
2026-06-04 Python Maint <python dash maint at redhat dot com> - 5.14.5-2 - Rebuilt for Python 3.15
2026-06-01 Jerry James <loganjerry at gmail dot com> - 5.14.5-1 - Version 5.14.5 - Use the cmake declarative buildsystem
2026-04-30 Jerry James <loganjerry at gmail dot com> - 5.14.4-1 - Version 5.14.4 - Drop upstreamed fpic, python-library, and toml patches - Permit use of cmake 4
2026-01-16 Fedora Release Engineering <releng at fedoraproject dot org> - 5.13.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
2026-01-16 Fedora Release Engineering <releng at fedoraproject dot org> - 5.13.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
2026-01-12 Jerry James <loganjerry at gmail dot com> - 5.13.0-5 - Drop old obsoletes - Be more precise about globbing in %files

Dependencies

Provides

  • bundled(cadiback)
  • bundled(picosat)
  • cryptominisat-libs
  • cryptominisat-libs(x86-64)
  • libcadiback.so.0()(64bit)
  • libcryptominisat5.so.5.16()(64bit)
  • liboracle.so.5.16()(64bit)

Files


Sources on Pagure