Re: [petsc-dev] [petsc-maint #71297] Problem installing PETSc