Fedora Packages

python3-cvc5-1.2.1-1.fc42 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-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
2024-07-16 Jerry James <loganjerry at gmail dot com> - 1.1.2-4 - Rebuild for cryptominisat 5.11.22
2024-06-08 Python Maint <python dash maint at redhat dot com> - 1.1.2-3 - Rebuilt for Python 3.13
2024-03-29 Jerry James <loganjerry at gmail dot com> - 1.1.2-2 - Rebuild for cocoalib 0.99850
2024-03-14 Jerry James <loganjerry at gmail dot com> - 1.1.2-1 - Version 1.1.2

Dependencies

Provides

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

Files


Sources on Pagure