allow_different_slepc_petsc_versions.patch
python3-only.patch
remove-iframes-from-documentation.patch
do_not_install_dealtag.patch
disable-setup_sanity_checks.patch
no-parallel-run_quick_tests.patch
drop-w3c-validator.patch
