Index of /macports/distfiles/coq/

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