↵ Return to the main page of ocaml-z3
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
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 |