Index of /macports/distfiles/coq

	Name	Last modified	Size
	Parent Directory		-
	coq-8.4pl3.tar.gz	2013-12-22 14:17	3.9M
	coq-8.4pl4.tar.gz	2014-05-21 14:20	3.9M
	coq-8.4pl5.tar.gz	2014-11-30 15:26	3.9M
	coq-8.4pl6.tar.gz	2015-06-19 18:02	3.9M
	coq-8.5.tar.gz	2016-01-25 17:34	5.1M
	coq-8.5pl1.tar.gz	2016-04-27 20:02	5.1M
	coq-8.5pl2.tar.gz	2016-07-20 20:07	5.1M
	coq-8.5pl3.tar.gz	2016-11-12 20:28	5.1M
	coq-8.8.0.tar.gz	2018-04-27 08:07	5.7M
	coq-8.8.1.tar.gz	2018-07-15 23:57	5.7M
	coq-8.8.2.tar.gz	2018-10-01 13:26	5.7M
	coq-8.13.1.tar.gz	2021-03-04 17:36	6.6M
	coq-8.13.2.tar.gz	2021-04-01 20:48	6.6M