Index of /macports-distfiles/coq/

../
coq-8.13.1.tar.gz                                  04-Mar-2021 16:36             6952051
coq-8.13.2.tar.gz                                  01-Apr-2021 18:48             6952237
coq-8.4pl3.tar.gz                                  22-Dec-2013 13:17             4064579
coq-8.4pl4.tar.gz                                  21-May-2014 12:20             4067355
coq-8.4pl5.tar.gz                                  30-Nov-2014 14:26             4070062
coq-8.4pl6.tar.gz                                  19-Jun-2015 16:02             4099815
coq-8.5.tar.gz                                     25-Jan-2016 16:34             5346653
coq-8.5pl1.tar.gz                                  27-Apr-2016 18:02             5366774
coq-8.5pl2.tar.gz                                  20-Jul-2016 18:07             5321862
coq-8.5pl3.tar.gz                                  12-Nov-2016 19:28             5335502
coq-8.8.0.tar.gz                                   27-Apr-2018 06:07             5928213
coq-8.8.1.tar.gz                                   15-Jul-2018 21:57             5935019
coq-8.8.2.tar.gz                                   01-Oct-2018 11:26             5951293