Fedora Packages

python3-cvc5-1.2.0-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
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
2024-02-20 Jerry James <loganjerry at gmail dot com> - 1.1.1-1 - Version 1.1.1
2024-02-09 Jerry James <loganjerry at gmail dot com> - 1.1.0-5 - Rebuild for cryptominisat 5.11.21
2024-01-31 Jerry James <loganjerry at gmail dot com> - 1.1.0-4 - Rebuild for cryptominisat 5.11.15
2024-01-24 Fedora Release Engineering <releng at fedoraproject dot org> - 1.1.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild

Dependencies

Provides

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

Files


Sources on Pagure