Disclaimer
This page shows packages in Fedora 40 which
buildability was possibly affected by minisat2-libs upgrade from 2.2.1-17.fc39 to 2.2.1-19.fc40.
Please keep in mind that there were many other dependency
changes happening in parallel that could have caused any
particular failure.