Fedora Packages

python3-cvc5-1.1.2-1.fc40 in Fedora 40

↵ 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-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
2024-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 1.1.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-10 Jerry James <loganjerry at gmail dot com> - 1.1.0-1 - Version 1.1.0 - Fix symbol visibility issue (rhbz#2256948) - Skip regression tests until alfc can be packaged
2023-09-15 Jerry James <loganjerry at gmail dot com> - 1.0.8-1 - Version 1.0.8 - Remove dependency on antlr3 - Drop upstreamed patches: antlr3, toml, vec
2023-08-09 Jerry James <loganjerry at gmail dot com> - 1.0.5-3 - Build with yosyshq-abc instead of abc
2023-07-29 Jerry James <loganjerry at gmail dot com> - 1.0.5-1 - Initial RPM

Dependencies

Provides

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

Files


Sources on Pagure