eric7-25.11-1.mga10.src.rpm build ok