Changelog for z3-doc-4.12.4-1.mga10.i586.rpm :

* Sat Dec 30 2023 daviddavid 4.12.4-1.mga10+ Revision: 2024482- new version: 4.12.4- rebuild for py3.12
* Thu Feb 09 2023 daviddavid 4.12.1-1.mga9+ Revision: 1939569- new version: 4.12.1
* Wed Jan 18 2023 daviddavid 4.12.0-1.mga9+ Revision: 1934220- new version: 4.12.0- drop upstreamed -data-race and -uninit patches
* Sun Jan 15 2023 daviddavid 4.11.2-1.mga9+ Revision: 1933246- new version: 4.11.2- add -data-race patch to fix segfault (bz 2157972)- add -uninit patch to fix use of an uninitialized value- use new OCaml macros
* Sun Jan 08 2023 daviddavid 4.8.17-1.mga9+ Revision: 1931575- rebuild for ocaml-zarith change+ neoclust - New version 4.8.17
* Sat May 21 2022 pterjan 4.8.15-5.mga9+ Revision: 1859659- Rebuild for OCaml 4.14
* Sat May 14 2022 pterjan 4.8.15-4.mga9+ Revision: 1858159- Oops, I said provide
* Sat May 14 2022 pterjan 4.8.15-3.mga9+ Revision: 1858158- Provide what is required by subpackages
* Sun Apr 24 2022 joequant 4.8.15-2.mga9+ Revision: 1852975- change z3 libname
* Fri Apr 22 2022 joequant 4.8.15-1.mga9+ Revision: 1852625- fix groups- imported package z3