Dear all, the next time you update firedrake, you will have to manually update the git repository for PETSc. For a while we've been carrying a commit fixing a bug that is now fixed upstream, as a result, the firedrake branch of PETSc has been reset to match upstream PETSc. To update PETSc, you'll need to do the following: 1. Change to the petsc src directory of your firedrake installation: cd path/to/firedrake/src/petsc 2. Update the PETSc source tree. git fetch origin # Only do this next step if you have NO CHANGES TO PETSc # that you want to keep. If you do have local changes, # please email and we can fix up the instructions. git reset --hard origin/firedrake 3. Update firedrake as normal with the firedrake-update script, only remembering to additionally passing "--rebuild" firedrake-update --normal-update-options --rebuild 4. There is no step 4, you should be good to go. Please let us know if any of this doesn't work and/or makes no sense. Cheers, Lawrence