Fedora Packages

python3-cvc5-1.3.1-1.fc43 in Fedora 43

↵ 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-09-25 Jerry James <loganjerry at gmail dot com> - 1.3.1-1 - Version 1.3.1
2025-09-19 Python Maint <python dash maint at redhat dot com> - 1.3.0-5 - Rebuilt for Python 3.14.0rc3 bytecode
2025-08-15 Python Maint <python dash maint at redhat dot com> - 1.3.0-4 - Rebuilt for Python 3.14.0rc2 bytecode
2025-07-29 Jiri Vanek <jvanek at redhat dot com> - 1.3.0-3 - Rebuilt for java-25-openjdk as preffered jdk
2025-07-23 Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
2025-07-03 Jerry James <loganjerry at gmail dot com> - 1.3.0-1 - Version 1.3.0 - Drop upstreamed cadical patch
2025-06-03 Python Maint <python dash maint at redhat dot com> - 1.2.1-6 - Rebuilt for Python 3.14
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

Dependencies

Provides

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

Files


Sources on Pagure