Index of /slackbuilds.org/14.0/academic/coq
Name
Last modified
Size
Description
Parent Directory
-
gpl.txt.gz
2011-08-11 18:58
12K
slack-desc
2011-08-11 18:58
833
README
2012-09-28 21:34
696
coq.info
2012-09-28 21:34
286
coq.SlackBuild
2012-10-02 10:59
2.7K
Current bandwidth utilization 0.60 Mbit/s