@2189813:sbcl-2.5.5-2.mga10.src.rpm: ok