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

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2020-01-17 21:32	367
	coq.SlackBuild	2020-01-17 21:32	3.2K
	coq.info	2020-01-17 21:32	295
	gpl.txt.gz	2013-11-26 01:57	12K
	slack-desc	2020-01-17 21:32	831

Current bandwidth utilization 0.34 Mbit/s