abcmidi-2024.04.30-1.mga10.src.rpm build ok