Index of /slackbuilds.org/14.2/academic/coq
Name
Last modified
Size
Description
Parent Directory
-
coq.info
2020-01-17 21:32
295
README
2020-01-17 21:32
367
slack-desc
2020-01-17 21:32
831
coq.SlackBuild
2020-01-17 21:32
3.2K
gpl.txt.gz
2013-11-26 01:57
12K
Current bandwidth utilization 71.52 Mbit/s