summaryrefslogtreecommitdiffstats
path: root/academic/coq
ModeNameSize
-rw-r--r--README696logstatsplainaboutblame
-rw-r--r--coq.SlackBuild2821logstatsplainaboutblame
-rw-r--r--coq.info286logstatsplainaboutblame
-rw-r--r--gpl.txt.gz12138logstatsplainaboutblame
-rw-r--r--slack-desc830logstatsplainaboutblame