/sci-mathematics/coq/files/
../
coq-8.1_p3-cmxa-install.dpatch
coq-8.1_p3-noocamlopt.patch
coqide.desktop