Disclaimer
This page shows packages in Fedora 40 which
buildability was possibly affected by picosat-devel upgrade from 965-20.fc40 to 965-21.fc40.
Please keep in mind that there were many other dependency
changes happening in parallel that could have caused any
particular failure.