summaryrefslogtreecommitdiffstats
path: root/academic/coq
ModeNameSize
-rw-r--r--README562logstatsplainaboutblame
-rw-r--r--coq.SlackBuild3389logstatsplainaboutblame
-rw-r--r--coq.info287logstatsplainaboutblame
-rw-r--r--slack-desc831logstatsplainaboutblame