Dear all, I was in the process of updating Firedrake when I realised that the latest versions of PETSc and PyOP2 are not compatible. PyOP2 seems to be looking for libpetsc.3.05.2.dylib, while the one installed by PETSc is libpetsc.3.05.3.dylib. Best, Anna.