alligator-25.04.2-1.mga10.armv7hl.rpm
alligator-debuginfo-25.04.2-1.mga10.armv7hl.rpm
alligator-debugsource-25.04.2-1.mga10.armv7hl.rpm