Index of /slackbuilds/14.1/academic/coq

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