ocaml-z3-4.11.2-2.fc37 - Fedora Packages

Date	Author	Change
2023-01-08	Jerry James <loganjerry at gmail dot com> - 4.11.2-2	- Add -data-race patch to fix segfault (bz 2157972) - Add -uninit patch to fix use of an uninitialized value
2022-12-14	Jerry James <loganjerry at gmail dot com> - 4.11.2-1	- Further clarify license of the doc subpackage (SPDX)
2022-09-04	Jerry James <loganjerry at gmail dot com> - 4.11.2-1	- Version 4.11.2
2022-08-19	Jerry James <loganjerry at gmail dot com> - 4.11.0-1	- Version 4.11.0 - Clarify license of the doc subpackage
2022-08-08	Jerry James <loganjerry at gmail dot com> - 4.10.2-1	- Version 4.10.2
2022-07-23	Fedora Release Engineering <releng at fedoraproject dot org> - 4.8.17-6	- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-28	Jerry James <loganjerry at gmail dot com> - 4.8.17-5	- Do not support Java on i686 (rhbz#2104112) - Use new OCaml macros
2022-06-20	Python Maint <python dash maint at redhat dot com> - 4.8.17-4	- Rebuilt for Python 3.11
2022-06-18	Richard W.M. Jones <rjones at redhat dot com> - 4.8.17-3	- OCaml 4.14.0 rebuild
2022-06-13	Python Maint <python dash maint at redhat dot com> - 4.8.17-2	- Rebuilt for Python 3.11

ocaml-z3-4.11.2-2.fc37 in Fedora 37