Index of /slackbuilds.org/13.37/academic/coq
Name
Last modified
Size
Description
Parent Directory
-
README
2011-08-12 03:58
935
coq.SlackBuild
2011-08-12 03:58
2.7K
coq.info
2011-08-12 03:58
290
gpl.txt.gz
2011-08-12 03:58
12K
slack-desc
2011-08-12 03:58
833
Current bandwidth utilization 17.22 Mbit/s
Mastodon