Disclaimer
This page shows packages in Fedora 38 which
buildability was possibly affected by sat4j upgrade from 2.3.5-13.fc29 to 2.3.5-15.fc31.
Please keep in mind that there were many other dependency
changes happening in parallel that could have caused any
particular failure.