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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq.SlackBuild	18-Jan-2020 14:32	3.2K
	coq.info	18-Jan-2020 14:32	295
	gpl.txt.gz	26-Nov-2013 18:57	12K
	slack-desc	18-Jan-2020 14:32	831