Index of /gentoo-portage-snapshots/2017-06-01-0212/sci-mathematics/coq/files/

../
coq-8.4_p5-no-clean-before-test.patch              09-Aug-2015 00:38                 383
coq-8.5-do-not-install-revision.patch              23-Jan-2016 17:49                 629