remove-heavy-tests.patch
remove-time-sensitive-tests.patch
remove-tests-that-need-coqlib.patch
avoid-usr-bin-env.patch
python-scripts-libraries.patch
skip-dot-pc.patch
verbose-build.patch
remove-bytecode-failing-tests.patch
ssrmatching-license.patch
0012-ocaml-4.08-does-not-allow-dynamic-loading-of-already.patch
0013-Remove-test-failing-with-OCaml-4.08.0.patch
