Changelog for libz3-4_12-4.12.1-2.44.x86_64.rpm :

* Thu Feb 23 2023 gwassermannAATTcert.org- Update to v4.12.1 final release
* Sun Jan 15 2023 gwassermannAATTcert.org- Update to v4.12.0 final release
* Sun Dec 11 2022 gwassermannAATTcert.org- Update to v4.11.2 final release
* Fri May 06 2022 gwassermannAATTcert.org- Update to v4.8.17 final release
* Thu Mar 24 2022 gwassermannAATTcert.org- Update to v4.8.15 final release
* Wed Jan 12 2022 gwassermannAATTcert.org- Update to v4.8.14 final release
* Mon Dec 06 2021 gwassermannAATTcert.org- Update to v4.8.13 final release
* Thu Sep 02 2021 gwassermannAATTcert.org- Update to v4.8.12 final release
* Tue Jun 08 2021 gwassermannAATTcert.org- Update to v4.8.11 final release
* Wed May 26 2021 gwassermannAATTcert.org- Add java bindings packages
* Thu Feb 04 2021 gwassermannAATTcert.org- Update to v4.8.10 final release