blob: 16c98dbc7871e62abc7ec8ddd253dd53d40036d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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
spelling.patch
verbose-build.patch
fix-bytecode-build.patch
remove-bytecode-failing-tests.patch
ssrmatching-license.patch
|
