0001-Do-not-require-unused-software-with-CMake.patch
0002-Changed-version-in-dune.module-to-2022.04.patch
