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

	Name	Last modified	Size
	Parent Directory		-
	0001-fix-make-detection.patch	2015-02-21 15:13	2.2K
	BUILD	2012-06-03 11:54	302
	DEPENDS	2015-02-21 15:13	163
	DETAILS	2015-02-21 15:13	1.1K
	HISTORY	2015-02-21 15:13	463
	PRE_BUILD	2015-02-21 15:13	178