Index of /slackbuilds/14.0/academic/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	gpl.txt.gz	2011-08-12 01:58	12K
	coq.SlackBuild	2012-10-02 17:59	2.7K
	slack-desc	2011-08-12 01:58	833
	coq.info	2012-09-29 04:34	286