petsc-3.24.2-4.mga10.src.rpm build ok