pragha-1.3.99.1-3.mga10.armv7hl.rpm pragha-debuginfo-1.3.99.1-3.mga10.armv7hl.rpm pragha-debugsource-1.3.99.1-3.mga10.armv7hl.rpm