lib64petsc-devel-3.24.3-1.mga10.aarch64.rpm
lib64petsc3-3.24.3-1.mga10.aarch64.rpm
lib64petsc3-debuginfo-3.24.3-1.mga10.aarch64.rpm
petsc-3.24.3-1.mga10.aarch64.rpm
petsc-debugsource-3.24.3-1.mga10.aarch64.rpm