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

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