0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch
0002-Fix-use-of-HASNATDYNLINK-in-coq_makefile-output.patch