sbcl-2.6.8-1.mga11.x86_64.rpm
sbcl-debuginfo-2.6.8-1.mga11.x86_64.rpm
sbcl-debugsource-2.6.8-1.mga11.x86_64.rpm