Disclaimer
This page shows packages in Fedora 38 which
buildability was possibly affected by z3-devel upgrade from 4.12.0-1.fc38 to 4.12.1-1.fc38.
Please keep in mind that there were many other dependency
changes happening in parallel that could have caused any
particular failure.