/sci-mathematics/coq/files/

• ../
• coq-8.4-lablgtk216.patch
• coq-8.4_p1-camlp4.patch
• coqide.desktop
• lablgtk216.patch