- Sat Apr 29 2023 PLD Linux Team <feedback@pld-linux.org>
- For complete changelog see: http://git.pld-linux.org/?p=packages/z3.git;a=log;h=master
- Sat Apr 29 2023 Jakub Bogusz <qboosh@pld-linux.org> 4bf987e
- updated to 4.8.17, fixed dirs in .pc file
- Mon Dec 20 2021 Jakub Bogusz <qboosh@pld-linux.org> a859ebd
- moved META file to base ocaml package
- Mon Dec 20 2021 Jakub Bogusz <qboosh@pld-linux.org> 804ec7b
- updated to 4.8.13
- removed obsolete ctz patch - Sat Nov 20 2021 Jan Rękorajski <baggins@pld-linux.org> dc021dc
- rebuild with separate debuginfo build-ids
- Sat Mar 27 2021 Jan Rękorajski <baggins@pld-linux.org> 68d8dbb
- update ocaml META file location
- rel 3 - Fri Mar 26 2021 Jan Rękorajski <baggins@pld-linux.org> ca189ed
- release 2 (by relup.sh)
- Sun Feb 28 2021 Jan Rękorajski <baggins@pld-linux.org> 2ce2ef7
- unconditional noarch subpackages
- Sat Dec 28 2019 Jakub Bogusz <qboosh@pld-linux.org> 0bc82ce
- updated cmake options
- added ctz patch (adjust __builtin_ctz conditions for gcc) - Sat Dec 28 2019 Jakub Bogusz <qboosh@pld-linux.org> 01b2836
- updated to 4.8.7
- ocaml interface now uses zarith instead of num - Sat Oct 5 2019 Jakub Bogusz <qboosh@pld-linux.org> 5cc3388
- fix build without ocaml_opt
- Sat Oct 5 2019 Jakub Bogusz <qboosh@pld-linux.org> 79443d4
- updated to 4.8.5
- added pld patch (add PLD build type)
- package Python and OCaml bindings - Thu May 16 2013 Jan Rękorajski <baggins@pld-linux.org> 3cec6e3
- new