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