Index of /coq

	Name	Last modified	Size
	Parent Directory		-
	coq-8.8.2_1.darwin_11.x86_64.tbz2	2018-10-11 00:43	64M
	coq-8.8.2_1.darwin_11.x86_64.tbz2.rmd160	2018-10-11 00:43	512
	coq-8.8.2_1.darwin_12.x86_64.tbz2	2018-10-10 21:22	64M
	coq-8.8.2_1.darwin_12.x86_64.tbz2.rmd160	2018-10-10 21:22	512
	coq-8.8.2_1.darwin_13.x86_64.tbz2	2018-10-10 21:03	64M
	coq-8.8.2_1.darwin_13.x86_64.tbz2.rmd160	2018-10-10 21:03	512
	coq-8.8.2_1.darwin_14.x86_64.tbz2	2018-10-10 22:14	63M
	coq-8.8.2_1.darwin_14.x86_64.tbz2.rmd160	2018-10-10 22:14	512
	coq-8.8.2_1.darwin_15.x86_64.tbz2	2018-10-10 21:20	64M
	coq-8.8.2_1.darwin_15.x86_64.tbz2.rmd160	2018-10-10 21:20	512
	coq-8.8.2_1.darwin_16.x86_64.tbz2	2018-10-11 02:43	63M
	coq-8.8.2_1.darwin_16.x86_64.tbz2.rmd160	2018-10-11 02:43	512
	coq-8.8.2_1.darwin_17.x86_64.tbz2	2018-10-11 01:48	63M
	coq-8.8.2_1.darwin_17.x86_64.tbz2.rmd160	2018-10-11 01:48	512
	coq-8.8.2_1.darwin_18.x86_64.tbz2	2018-10-11 11:56	64M
	coq-8.8.2_1.darwin_18.x86_64.tbz2.rmd160	2018-10-11 11:56	512