Index of /files/sourcemage/codex/test/devel/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	PRE_BUILD	2015-05-26 12:04	178
	HISTORY	2021-05-09 20:00	762
	DETAILS	2019-08-19 23:00	1.1K
	DEPENDS	2018-12-08 16:00	225
	BUILD	2018-12-08 16:00	308
	0001-fix-make-detect..>	2015-05-26 12:04	2.2K