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

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2011-08-11 18:58	935
	coq.SlackBuild	2011-08-11 18:58	2.7K
	coq.info	2011-08-11 18:58	290
	gpl.txt.gz	2011-08-11 18:58	12K
	slack-desc	2011-08-11 18:58	833

Current bandwidth utilization 0.53 Mbit/s