Index of /slackbuilds.org/14.1/academic/coq
Name
Last modified
Size
Description
Parent Directory
-
slack-desc
2013-11-26 10:57
830
gpl.txt.gz
2013-11-26 10:57
12K
coq.info
2013-11-26 10:57
286
coq.SlackBuild
2013-11-26 10:57
2.8K
README
2013-11-26 10:57
696
Current bandwidth utilization 12.85 Mbit/s
Mastodon