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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq.SlackBuild	03-Oct-2012 02:59	2.7K
	coq.info	29-Sep-2012 13:34	286
	gpl.txt.gz	12-Aug-2011 10:58	12K
	slack-desc	12-Aug-2011 10:58	833