sbcl-2.6.1-1.mga10.armv7hl.rpm
sbcl-debuginfo-2.6.1-1.mga10.armv7hl.rpm
sbcl-debugsource-2.6.1-1.mga10.armv7hl.rpm