soname.patch
dune-autogen.patch
skip-dirs-starting-with-dot.patch
rename-git-whitespace-hook.patch
0001-Fix-wrong-std-cerr-at-end-of-output.patch
