Index of /macports/packages/coq/


../
coq-8.4pl4_0.darwin_10.x86_64.tbz2                                                                                       21-May-2014 07:51     67M
coq-8.4pl4_0.darwin_10.x86_64.tbz2.rmd160                                                                                21-May-2014 07:51     512
coq-8.4pl4_0.darwin_11.x86_64.tbz2                                                                                       21-May-2014 08:03     69M
coq-8.4pl4_0.darwin_11.x86_64.tbz2.rmd160                                                                                21-May-2014 08:03     512
coq-8.4pl4_0.darwin_12.x86_64.tbz2                                                                                       22-May-2014 11:15     69M
coq-8.4pl4_0.darwin_12.x86_64.tbz2.rmd160                                                                                22-May-2014 11:15     512
coq-8.4pl4_0.darwin_13.x86_64.tbz2                                                                                       21-May-2014 07:52     69M
coq-8.4pl4_0.darwin_13.x86_64.tbz2.rmd160                                                                                21-May-2014 07:52     512
coq-8.4pl5_0.darwin_11.x86_64.tbz2                                                                                       29-Nov-2014 20:45     70M
coq-8.4pl5_0.darwin_11.x86_64.tbz2.rmd160                                                                                29-Nov-2014 20:45     512
coq-8.4pl5_0.darwin_12.x86_64.tbz2                                                                                       29-Nov-2014 20:42     70M
coq-8.4pl5_0.darwin_12.x86_64.tbz2.rmd160                                                                                29-Nov-2014 20:42     512
coq-8.4pl5_0.darwin_13.x86_64.tbz2                                                                                       29-Nov-2014 20:28     70M
coq-8.4pl5_0.darwin_13.x86_64.tbz2.rmd160                                                                                29-Nov-2014 20:28     512
coq-8.4pl6_0.darwin_11.x86_64.tbz2                                                                                       21-Jun-2015 00:30     70M
coq-8.4pl6_0.darwin_11.x86_64.tbz2.rmd160                                                                                21-Jun-2015 00:30     512
coq-8.4pl6_0.darwin_12.x86_64.tbz2                                                                                       21-Jun-2015 00:14     70M
coq-8.4pl6_0.darwin_12.x86_64.tbz2.rmd160                                                                                21-Jun-2015 00:14     512
coq-8.4pl6_0.darwin_13.x86_64.tbz2                                                                                       21-Jun-2015 03:53     70M
coq-8.4pl6_0.darwin_13.x86_64.tbz2.rmd160                                                                                21-Jun-2015 03:53     512
coq-8.4pl6_1.darwin_10.x86_64.tbz2                                                                                       24-Nov-2015 15:22     68M
coq-8.4pl6_1.darwin_10.x86_64.tbz2.rmd160                                                                                24-Nov-2015 15:22     512
coq-8.4pl6_1.darwin_11.x86_64.tbz2                                                                                       25-Jun-2015 01:47     70M
coq-8.4pl6_1.darwin_11.x86_64.tbz2.rmd160                                                                                25-Jun-2015 01:47     512
coq-8.4pl6_1.darwin_12.x86_64.tbz2                                                                                       25-Jun-2015 00:58     70M
coq-8.4pl6_1.darwin_12.x86_64.tbz2.rmd160                                                                                25-Jun-2015 00:58     512
coq-8.4pl6_1.darwin_13.x86_64.tbz2                                                                                       25-Jun-2015 01:46     70M
coq-8.4pl6_1.darwin_13.x86_64.tbz2.rmd160                                                                                25-Jun-2015 01:46     512
coq-8.4pl6_1.darwin_14.x86_64.tbz2                                                                                       29-Aug-2015 19:20     70M
coq-8.4pl6_1.darwin_14.x86_64.tbz2.rmd160                                                                                29-Aug-2015 19:20     512
coq-8.5_0.darwin_10.x86_64.tbz2                                                                                          25-Jan-2016 04:21     69M
coq-8.5_0.darwin_10.x86_64.tbz2.rmd160                                                                                   25-Jan-2016 04:21     512
coq-8.5_0.darwin_12.x86_64.tbz2                                                                                          25-Jan-2016 04:21     73M
coq-8.5_0.darwin_12.x86_64.tbz2.rmd160                                                                                   25-Jan-2016 04:21     512
coq-8.5_0.darwin_13.x86_64.tbz2                                                                                          25-Jan-2016 04:16     73M
coq-8.5_0.darwin_13.x86_64.tbz2.rmd160                                                                                   25-Jan-2016 04:16     512
coq-8.5_0.darwin_14.x86_64.tbz2                                                                                          25-Jan-2016 04:20     72M
coq-8.5_0.darwin_14.x86_64.tbz2.rmd160                                                                                   25-Jan-2016 04:20     512
coq-8.5_0.darwin_15.x86_64.tbz2                                                                                          09-Feb-2016 14:33     72M
coq-8.5_0.darwin_15.x86_64.tbz2.rmd160                                                                                   09-Feb-2016 14:33     512
coq-8.5pl1_0.darwin_10.x86_64.tbz2                                                                                       27-Apr-2016 01:53     66M
coq-8.5pl1_0.darwin_10.x86_64.tbz2.rmd160                                                                                27-Apr-2016 01:53     512
coq-8.5pl1_0.darwin_12.x86_64.tbz2                                                                                       27-Apr-2016 01:53     70M
coq-8.5pl1_0.darwin_12.x86_64.tbz2.rmd160                                                                                27-Apr-2016 01:53     512
coq-8.5pl1_0.darwin_13.x86_64.tbz2                                                                                       27-Apr-2016 01:50     70M
coq-8.5pl1_0.darwin_13.x86_64.tbz2.rmd160                                                                                27-Apr-2016 01:50     512
coq-8.5pl1_0.darwin_14.x86_64.tbz2                                                                                       27-Apr-2016 01:52     69M
coq-8.5pl1_0.darwin_14.x86_64.tbz2.rmd160                                                                                27-Apr-2016 01:52     512
coq-8.5pl1_0.darwin_15.x86_64.tbz2                                                                                       27-Apr-2016 01:51     69M
coq-8.5pl1_0.darwin_15.x86_64.tbz2.rmd160                                                                                27-Apr-2016 01:51     512
coq-8.5pl2_0.darwin_10.x86_64.tbz2                                                                                       18-Jul-2016 23:54     66M
coq-8.5pl2_0.darwin_10.x86_64.tbz2.rmd160                                                                                18-Jul-2016 23:54     512
coq-8.5pl2_0.darwin_12.x86_64.tbz2                                                                                       18-Jul-2016 23:55     70M
coq-8.5pl2_0.darwin_12.x86_64.tbz2.rmd160                                                                                18-Jul-2016 23:55     512
coq-8.5pl2_0.darwin_13.x86_64.tbz2                                                                                       18-Jul-2016 23:53     70M
coq-8.5pl2_0.darwin_13.x86_64.tbz2.rmd160                                                                                18-Jul-2016 23:53     512
coq-8.5pl2_0.darwin_14.x86_64.tbz2                                                                                       18-Jul-2016 23:54     69M
coq-8.5pl2_0.darwin_14.x86_64.tbz2.rmd160                                                                                18-Jul-2016 23:54     512
coq-8.5pl2_0.darwin_15.x86_64.tbz2                                                                                       18-Jul-2016 23:53     69M
coq-8.5pl2_0.darwin_15.x86_64.tbz2.rmd160                                                                                18-Jul-2016 23:53     512
coq-8.5pl3_0.darwin_10.x86_64.tbz2                                                                                       12-Nov-2016 01:59     65M
coq-8.5pl3_0.darwin_10.x86_64.tbz2.rmd160                                                                                12-Nov-2016 01:59     512
coq-8.5pl3_0.darwin_11.x86_64.tbz2                                                                                       12-Nov-2016 01:59     69M
coq-8.5pl3_0.darwin_11.x86_64.tbz2.rmd160                                                                                12-Nov-2016 01:59     512
coq-8.5pl3_0.darwin_12.x86_64.tbz2                                                                                       12-Nov-2016 02:02     69M
coq-8.5pl3_0.darwin_12.x86_64.tbz2.rmd160                                                                                12-Nov-2016 02:02     512
coq-8.5pl3_0.darwin_13.x86_64.tbz2                                                                                       12-Nov-2016 02:01     69M
coq-8.5pl3_0.darwin_13.x86_64.tbz2.rmd160                                                                                12-Nov-2016 02:01     512
coq-8.5pl3_0.darwin_14.x86_64.tbz2                                                                                       12-Nov-2016 02:00     69M
coq-8.5pl3_0.darwin_14.x86_64.tbz2.rmd160                                                                                12-Nov-2016 02:00     512
coq-8.5pl3_0.darwin_15.x86_64.tbz2                                                                                       12-Nov-2016 01:59     68M
coq-8.5pl3_0.darwin_15.x86_64.tbz2.rmd160                                                                                12-Nov-2016 01:59     512
coq-8.5pl3_0.darwin_16.x86_64.tbz2                                                                                       12-Nov-2016 02:01     68M
coq-8.5pl3_0.darwin_16.x86_64.tbz2.rmd160                                                                                12-Nov-2016 02:01     512