install-coqide-bytecode
remove-heavy-tests.patch
remove-tests-that-need-coqlib.patch
avoid-usr-bin-env.patch
python-scripts-libraries.patch
skip-dot-pc.patch
remove-bytecode-failing-tests.patch
testsuite-bytecode
