petsc-3.23.6-1.mga10.src.rpm build ok