$ mock -r fedora-rawhide-x86_64 install pvs-sbcl Error: Problem: conflicting requests - nothing provides sbcl = 1.4.14-3.fc31 needed by pvs-sbcl-7.0-1.20200129.b517ae2.fc32.x86_64 $ mock -r fedora-32-x86_64 install pvs-sbcl Error: Problem: conflicting requests - nothing provides sbcl = 1.4.14-3.fc31 needed by pvs-sbcl-7.0-1.20200129.b517ae2.fc32.x86_64
In the past, the sbcl maintainer has kindly rebuilt pvs-sbcl when updating sbcl, but did not this time for some reason. Furthemore, pvs-sbcl does not rebuild with sbcl 2.0.1. The build hangs. Whether this represents a bug in sbcl or a bug in pvs-sbcl remains to be seen ... but the build did not hang with sbcl 1.4.14.
Yes, pvs-sbcl needed a small adjustment to work with sbcl 2.x. I've had a successful mock build, now trying a full package build.
FEDORA-2020-d5ea7f05f0 has been submitted as an update to Fedora 32. https://bodhi.fedoraproject.org/updates/FEDORA-2020-d5ea7f05f0
pvs-sbcl-7.0-1.20200218.a1f7148.fc32 has been pushed to the Fedora 32 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2020-d5ea7f05f0
pvs-sbcl-7.0-1.20200218.a1f7148.fc32 has been pushed to the Fedora 32 stable repository. If problems still persist, please make note of it in this bug report.