Fedora Packages

python3-cvc5-1.2.1-5.fc43 in Fedora Rawhide

↵ Return to the main page of python3-cvc5
View build
Search for updates

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

Changelog

Date Author Change
2025-05-01 Jerry James <loganjerry at gmail dot com> - 1.2.1-5 - Add patch to adapt to cadical 2.1.x
2025-04-16 Jerry James <loganjerry at gmail dot com> - 1.2.1-4 - Build tests with cmake (fixes ninja-build build)
2025-03-03 Cristian Le <fedora at lecris dot me> - 1.2.1-3 - Remove scikit-build dependency
2025-02-11 Jerry James <loganjerry at gmail dot com> - 1.2.1-2 - Rebuild for cryptominisat 5.12.1
2025-01-30 Jerry James <loganjerry at gmail dot com> - 1.2.1-1 - Version 1.2.1 - BR ethos to enable more tests
2025-01-16 Fedora Release Engineering <releng at fedoraproject dot org> - 1.2.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2025-01-13 Jerry James <loganjerry at gmail dot com> - 1.2.0-3 - Move configuration steps to %conf
2025-01-06 Jerry James <loganjerry at gmail dot com> - 1.2.0-2 - Remove unused m4ri dependency
2024-09-26 Jerry James <loganjerry at gmail dot com> - 1.2.0-1 - Version 1.2.0 - Drop unneeded patches: do-not-use-gold and rpath - Upstream changes broke %generate_buildrequires; list BRs manually - Stop disabling hidden ELF symbols
2024-07-17 Fedora Release Engineering <releng at fedoraproject dot org> - 1.1.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild

Dependencies

Provides

  • python-cvc5
  • python3-cvc5
  • python3-cvc5(x86-64)
  • python3.13-cvc5
  • python3.13dist(cvc5)
  • python3dist(cvc5)

Files


Sources on Pagure