Index of /slackbuilds.org/14.0/academic/coq

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README2012-09-28 21:34 696  
[   ]coq.SlackBuild2012-10-02 10:59 2.7K 
[   ]coq.info2012-09-28 21:34 286  
[   ]gpl.txt.gz2011-08-11 18:58 12K 
[   ]slack-desc2011-08-11 18:58 833  


Current bandwidth utilization   0.72 Mbit/s
Current bandwidth utilization 0.72 Mbit/s