allow_different_slepc_petsc_versions.patch
work_around_a_doxygen_bug.patch
