fix_debian_paths.patch
testsuite-bytecode
remove-heavy-tests.patch
remove-tests-that-need-coqlib.patch
remove-bytecode-failing-tests.patch
find_timing_scripts.patch
fix_typo.patch
