Fedora Packages

python3-z3-4.8.15-2.el9 in Fedora EPEL 9

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

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2022-03-24 Jerry James <loganjerry at gmail dot com> - 4.8.15-2 - Add -ambiguous-overload patch to fix cppcheck build failure
2022-03-21 Jerry James <loganjerry at gmail dot com> - 4.8.15-1 - Version 4.8.15
2022-02-05 Jiri Vanek <jvanek at redhat dot com> - 4.8.14-4 - Rebuilt for java-17-openjdk as system jdk
2022-02-04 Richard W.M. Jones <rjones at redhat dot com> - 4.8.14-3 - OCaml 4.13.1 rebuild to remove package notes
2022-01-22 Fedora Release Engineering <releng at fedoraproject dot org> - 4.8.14-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-12-24 Jerry James <loganjerry at gmail dot com> - 4.8.14-1 - Version 4.8.14 - Conditionalize the %check script
2021-11-19 Jerry James <loganjerry at gmail dot com> - 4.8.13-1 - Version 4.8.13
2021-10-04 Richard W.M. Jones <rjones at redhat dot com> - 4.8.12-3 - OCaml 4.13.1 build
2021-07-23 Fedora Release Engineering <releng at fedoraproject dot org> - 4.8.12-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-13 Jerry James <loganjerry at gmail dot com> - 4.8.12-1 - Version 4.8.12

Dependencies

Provides

  • python-z3
  • python3-z3
  • python3.9-z3

Files


Sources on Pagure