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

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2013-11-26 01:57	696
	coq.SlackBuild	2013-11-26 01:57	2.8K
	coq.info	2013-11-26 01:57	286
	gpl.txt.gz	2013-11-26 01:57	12K
	slack-desc	2013-11-26 01:57	830

Current bandwidth utilization 2.43 Mbit/s