Fedora Packages

python3-z3-4.15.2-1.fc43 in Fedora Rawhide

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

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2025-06-25 Jerry James <loganjerry at gmail dot com> - 4.15.2-1 - Version 4.15.2
2025-06-11 Jerry James <loganjerry at gmail dot com> - 4.15.1-1 - Version 4.15.1
2025-06-02 Python Maint <python dash maint at redhat dot com> - 4.15.0-2 - Rebuilt for Python 3.14
2025-05-21 Jerry James <loganjerry at gmail dot com> - 4.15.0-1 - Version 4.15.0
2025-05-05 Yaakov Selkowitz <yselkowi at redhat dot com> - 4.14.1-2 - Specify Python bindings installation directory
2025-03-11 Jerry James <loganjerry at gmail dot com> - 4.14.1-1 - Version 4.14.1
2025-03-04 Jerry James <loganjerry at gmail dot com> - 4.14.0-1 - Version 4.14.0
2025-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 4.13.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2025-01-15 Jerry James <loganjerry at gmail dot com> - 4.13.4-2 - Move configuration steps to %conf
2024-12-27 Jerry James <loganjerry at gmail dot com> - 4.13.4-1 - Version 4.13.4

Dependencies

Provides

  • python-z3
  • python3-z3
  • python3.14-z3

Files


Sources on Pagure