Re: [firedrake] pyOP2 installation