[ol9_developer_EPEL] python3-z3-4.8.15-2.el9.noarch

Python 3 interface to z3.

Changelog (Show File list) (Show related packages)

• Thu Mar 24 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-2

  - Add -ambiguous-overload patch to fix cppcheck build failure

• Mon Mar 21 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-1

  - Version 4.8.15

• Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 4.8.14-4

  - Rebuilt for java-17-openjdk as system jdk

• Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.14-3

  - OCaml 4.13.1 rebuild to remove package notes

• Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.14-2

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

• Fri Dec 24 2021 Jerry James <loganjerry@gmail.com> - 4.8.14-1

  - Version 4.8.14
  - Conditionalize the %check script

• Fri Nov 19 2021 Jerry James <loganjerry@gmail.com> - 4.8.13-1

  - Version 4.8.13

• Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.12-3

  - OCaml 4.13.1 build

• Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.12-2

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

• Tue Jul 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.12-1

  - Version 4.8.12