Disclaimer
This page shows packages in Fedora 39 which
buildability was possibly affected by ocaml-z3 upgrade from 4.12.5-1.fc39 to 4.12.6-1.fc39.
Please keep in mind that there were many other dependency
changes happening in parallel that could have caused any
particular failure.