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
coq-8.5pl3_0.darwin_17.x86_64.tbz2                                                                                       18-Oct-2017 12:25     68M
coq-8.5pl3_0.darwin_17.x86_64.tbz2.rmd160                                                                                18-Oct-2017 12:25     512
coq-8.7.0_0.darwin_11.x86_64.tbz2                                                                                        22-Nov-2017 10:52     58M
coq-8.7.0_0.darwin_11.x86_64.tbz2.rmd160                                                                                 22-Nov-2017 10:52     512
coq-8.7.0_0.darwin_12.x86_64.tbz2                                                                                        22-Nov-2017 10:51     58M
coq-8.7.0_0.darwin_12.x86_64.tbz2.rmd160                                                                                 22-Nov-2017 10:51     512
coq-8.7.0_0.darwin_13.x86_64.tbz2                                                                                        22-Nov-2017 10:48     58M
coq-8.7.0_0.darwin_13.x86_64.tbz2.rmd160                                                                                 22-Nov-2017 10:48     512
coq-8.7.0_0.darwin_14.x86_64.tbz2                                                                                        22-Nov-2017 19:23     58M
coq-8.7.0_0.darwin_14.x86_64.tbz2.rmd160                                                                                 22-Nov-2017 19:23     512
coq-8.7.0_0.darwin_15.x86_64.tbz2                                                                                        22-Nov-2017 10:52     58M
coq-8.7.0_0.darwin_15.x86_64.tbz2.rmd160                                                                                 22-Nov-2017 10:52     512
coq-8.7.0_0.darwin_16.x86_64.tbz2                                                                                        22-Nov-2017 10:51     58M
coq-8.7.0_0.darwin_16.x86_64.tbz2.rmd160                                                                                 22-Nov-2017 10:51     512
coq-8.7.0_0.darwin_17.x86_64.tbz2                                                                                        22-Nov-2017 10:48     58M
coq-8.7.0_0.darwin_17.x86_64.tbz2.rmd160                                                                                 22-Nov-2017 10:48     512
coq-8.7.1_0.darwin_11.x86_64.tbz2                                                                                        01-Jan-2018 20:15     61M
coq-8.7.1_0.darwin_11.x86_64.tbz2.rmd160                                                                                 01-Jan-2018 20:15     512
coq-8.7.1_0.darwin_12.x86_64.tbz2                                                                                        17-Dec-2017 04:36     61M
coq-8.7.1_0.darwin_12.x86_64.tbz2.rmd160                                                                                 17-Dec-2017 04:36     512
coq-8.7.1_0.darwin_13.x86_64.tbz2                                                                                        17-Dec-2017 04:33     61M
coq-8.7.1_0.darwin_13.x86_64.tbz2.rmd160                                                                                 17-Dec-2017 04:33     512
coq-8.7.1_0.darwin_14.x86_64.tbz2                                                                                        17-Dec-2017 04:34     61M
coq-8.7.1_0.darwin_14.x86_64.tbz2.rmd160                                                                                 17-Dec-2017 04:34     512
coq-8.7.1_0.darwin_15.x86_64.tbz2                                                                                        17-Dec-2017 04:31     61M
coq-8.7.1_0.darwin_15.x86_64.tbz2.rmd160                                                                                 17-Dec-2017 04:31     512
coq-8.7.1_0.darwin_16.x86_64.tbz2                                                                                        17-Dec-2017 04:33     61M
coq-8.7.1_0.darwin_16.x86_64.tbz2.rmd160                                                                                 17-Dec-2017 04:33     512
coq-8.7.1_0.darwin_17.x86_64.tbz2                                                                                        17-Dec-2017 04:34     61M
coq-8.7.1_0.darwin_17.x86_64.tbz2.rmd160                                                                                 17-Dec-2017 04:34     512
coq-8.7.2_0.darwin_11.x86_64.tbz2                                                                                        18-Feb-2018 19:40     61M
coq-8.7.2_0.darwin_11.x86_64.tbz2.rmd160                                                                                 18-Feb-2018 19:40     512
coq-8.7.2_0.darwin_12.x86_64.tbz2                                                                                        18-Feb-2018 19:41     61M
coq-8.7.2_0.darwin_12.x86_64.tbz2.rmd160                                                                                 18-Feb-2018 19:41     512
coq-8.7.2_0.darwin_13.x86_64.tbz2                                                                                        18-Feb-2018 20:02     61M
coq-8.7.2_0.darwin_13.x86_64.tbz2.rmd160                                                                                 18-Feb-2018 20:02     512
coq-8.7.2_0.darwin_14.x86_64.tbz2                                                                                        19-Feb-2018 00:44     61M
coq-8.7.2_0.darwin_14.x86_64.tbz2.rmd160                                                                                 19-Feb-2018 00:44     512
coq-8.7.2_0.darwin_15.x86_64.tbz2                                                                                        19-Feb-2018 07:19     61M
coq-8.7.2_0.darwin_15.x86_64.tbz2.rmd160                                                                                 19-Feb-2018 07:19     512
coq-8.7.2_0.darwin_16.x86_64.tbz2                                                                                        19-Feb-2018 11:15     61M
coq-8.7.2_0.darwin_16.x86_64.tbz2.rmd160                                                                                 19-Feb-2018 11:15     512
coq-8.7.2_0.darwin_17.x86_64.tbz2                                                                                        19-Feb-2018 00:37     61M
coq-8.7.2_0.darwin_17.x86_64.tbz2.rmd160                                                                                 19-Feb-2018 00:37     512
coq-8.8.0_0.darwin_11.x86_64.tbz2                                                                                        27-Apr-2018 09:39     62M
coq-8.8.0_0.darwin_11.x86_64.tbz2.rmd160                                                                                 27-Apr-2018 09:39     512
coq-8.8.0_0.darwin_12.x86_64.tbz2                                                                                        27-Apr-2018 20:22     62M
coq-8.8.0_0.darwin_12.x86_64.tbz2.rmd160                                                                                 27-Apr-2018 20:22     512
coq-8.8.0_0.darwin_13.x86_64.tbz2                                                                                        27-Apr-2018 11:30     62M
coq-8.8.0_0.darwin_13.x86_64.tbz2.rmd160                                                                                 27-Apr-2018 11:30     512
coq-8.8.0_0.darwin_14.x86_64.tbz2                                                                                        27-Apr-2018 17:32     62M
coq-8.8.0_0.darwin_14.x86_64.tbz2.rmd160                                                                                 27-Apr-2018 17:32     512
coq-8.8.0_0.darwin_15.x86_64.tbz2                                                                                        27-Apr-2018 11:04     62M
coq-8.8.0_0.darwin_15.x86_64.tbz2.rmd160                                                                                 27-Apr-2018 11:04     512
coq-8.8.0_0.darwin_16.x86_64.tbz2                                                                                        27-Apr-2018 09:59     62M
coq-8.8.0_0.darwin_16.x86_64.tbz2.rmd160                                                                                 27-Apr-2018 09:59     512
coq-8.8.0_0.darwin_17.x86_64.tbz2                                                                                        27-Apr-2018 09:20     62M
coq-8.8.0_0.darwin_17.x86_64.tbz2.rmd160                                                                                 27-Apr-2018 09:20     512
coq-8.8.1_0.darwin_11.x86_64.tbz2                                                                                        16-Jul-2018 01:39     62M
coq-8.8.1_0.darwin_11.x86_64.tbz2.rmd160                                                                                 16-Jul-2018 01:39     512
coq-8.8.1_0.darwin_12.x86_64.tbz2                                                                                        16-Jul-2018 01:23     62M
coq-8.8.1_0.darwin_12.x86_64.tbz2.rmd160                                                                                 16-Jul-2018 01:23     512
coq-8.8.1_0.darwin_13.x86_64.tbz2                                                                                        16-Jul-2018 01:08     62M
coq-8.8.1_0.darwin_13.x86_64.tbz2.rmd160                                                                                 16-Jul-2018 01:08     512
coq-8.8.1_0.darwin_14.x86_64.tbz2                                                                                        16-Jul-2018 01:30     62M
coq-8.8.1_0.darwin_14.x86_64.tbz2.rmd160                                                                                 16-Jul-2018 01:30     512
coq-8.8.1_0.darwin_15.x86_64.tbz2                                                                                        16-Jul-2018 01:42     62M
coq-8.8.1_0.darwin_15.x86_64.tbz2.rmd160                                                                                 16-Jul-2018 01:42     512
coq-8.8.1_0.darwin_16.x86_64.tbz2                                                                                        16-Jul-2018 01:48     62M
coq-8.8.1_0.darwin_16.x86_64.tbz2.rmd160                                                                                 16-Jul-2018 01:48     512
coq-8.8.1_0.darwin_17.x86_64.tbz2                                                                                        16-Jul-2018 01:36     62M
coq-8.8.1_0.darwin_17.x86_64.tbz2.rmd160                                                                                 16-Jul-2018 01:36     512