aboutsummaryrefslogtreecommitdiff
path: root/academic/coq
ModeNameSize
-rw-r--r--README935logplain
-rw-r--r--coq.SlackBuild2814logplain
-rw-r--r--coq.info290logplain
-rw-r--r--gpl.txt.gz12138logplain
-rw-r--r--slack-desc833logplain