Index of /slackbuilds/14.2/academic/coq

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