wxmaxima-25.04.0-2.mga10.src.rpm build ok