Thank you André. Unfortunately, Guix prefers stable packages and if there is no urgent need for a specific intermediary version, it's often best to simply wait for the next stable release. In the case of SBCL, a new stable version is release at the end of each month. The easiest fix (and probably the right thing to do) is to simply wait some 20 days :) Pierre