alligator-25.07.80-1.mga10.x86_64.rpm
alligator-debuginfo-25.07.80-1.mga10.x86_64.rpm
alligator-debugsource-25.07.80-1.mga10.x86_64.rpm