Re: [petsc-dev] [petsc-maint #68731] Installation problem with petsc4py