/academic/coq/

• ../
• README
• coq.SlackBuild
• coq.info
• slack-desc