Re: [firedrake] Petsc4py installation