summaryrefslogtreecommitdiffstats
path: root/academic/coq
ModeNameSize
-rw-r--r--README367logstatsplain
-rw-r--r--coq.SlackBuild3234logstatsplain
-rw-r--r--coq.info295logstatsplain
-rw-r--r--gpl.txt.gz12138logstatsplain
-rw-r--r--slack-desc831logstatsplain