koko-25.07.80-1.mga10.armv7hl.rpm koko-debuginfo-25.07.80-1.mga10.armv7hl.rpm koko-debugsource-25.07.80-1.mga10.armv7hl.rpm