@2311238:petsc-3.24.3-1.mga10.src.rpm: ok