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