/academic/coq/

• ../
• README
• coq.SlackBuild
• coq.info
• gpl.txt.gz
• slack-desc