/sci-mathematics/coq/files/

• ../
• coq-8.2_p2-camlp5-6-compat.patch
• coq-8.2_p2-make-3.82.patch
• coq-8.3-camlp5-6-compat.patch
• coq-8.3-make-3.82-compat.patch
• coqide.desktop