Changelog for ocaml-z3-devel-4.11.2-5.26.x86_64.rpm :

* Sun Jan 08 2023 Klaus Kämpf - Initial version 4.11.2