dmidiplayer-1.8.0-1.mga11.armv7hl.rpm dmidiplayer-debuginfo-1.8.0-1.mga11.armv7hl.rpm dmidiplayer-debugsource-1.8.0-1.mga11.armv7hl.rpm