Index of /macports/distfiles/coq/

../
coq-8.13.1.tar.gz                                  05-Mar-2021 00:36      7M
coq-8.13.2.tar.gz                                  02-Apr-2021 02:48      7M
coq-8.4pl3.tar.gz                                  22-Dec-2013 21:17      4M
coq-8.4pl4.tar.gz                                  21-May-2014 20:20      4M
coq-8.4pl5.tar.gz                                  30-Nov-2014 22:26      4M
coq-8.4pl6.tar.gz                                  20-Jun-2015 00:02      4M
coq-8.5.tar.gz                                     26-Jan-2016 00:34      5M
coq-8.5pl1.tar.gz                                  28-Apr-2016 02:02      5M
coq-8.5pl2.tar.gz                                  21-Jul-2016 02:07      5M
coq-8.5pl3.tar.gz                                  13-Nov-2016 03:28      5M
coq-8.8.0.tar.gz                                   27-Apr-2018 14:07      6M
coq-8.8.1.tar.gz                                   16-Jul-2018 05:57      6M
coq-8.8.2.tar.gz                                   01-Oct-2018 19:26      6M