@2388203:dmidiplayer-1.8.0-1.mga11.src.rpm: ok