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