↵ 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-05-15 | Jerry James <loganjerry at gmail dot com> - 4.12.2-1 | - Version 4.12.2 |
2023-01-24 | Richard W.M. Jones <rjones at redhat dot com> - 4.12.1-2 | - Rebuild OCaml packages for F38 |
2023-01-21 | Jerry James <loganjerry at gmail dot com> - 4.12.1-1 | - Version 4.12.1 |
2023-01-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.12.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild |
2023-01-17 | Jerry James <loganjerry at gmail dot com> - 4.12.0-1 | - Version 4.12.0 - Drop upstreamed -data-race and -uninit patches |
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 |