Index of /mirror/sourcemage.org/codex/stable/devel/coq

	Name	Last modified	Size
	Parent Directory		-
	0001-fix-make-detection.patch	2017-10-23 01:11	2.2K
	BUILD	2016-11-12 17:22	302
	DEPENDS	2016-11-12 17:22	163
	DETAILS	2017-10-23 01:11	1.1K
	HISTORY	2017-10-23 01:11	463
	PRE_BUILD	2017-10-23 01:11	178