@2234248:petsc-3.22.2-2.mga10.src.rpm: ok