/sci-mathematics/coq/files/

• ../
• coq-8.4_p5-no-clean-before-test.patch
• coq-8.5-do-not-install-revision.patch