pdf-docs-build.diff
notparallel-main-makefile.diff
bash-completion-dir.diff
manual-build-fix.diff
0005-Fix-compilation-with-safe-string.patch
0006-Compile-interfaces-with-opaque.patch
0008-Add-missing-.mli-files-to-run-checks-properly.patch
0008-Account-for-change-of-type-of-menhirLib.patch
