Index of /macports/packages/cvc4/


../
cvc4-1.4_0.darwin_10.x86_64.tbz2                                                                                         31-Aug-2014 02:40     13M
cvc4-1.4_0.darwin_10.x86_64.tbz2.rmd160                                                                                  31-Aug-2014 02:40     512
cvc4-1.4_0.darwin_11.x86_64.tbz2                                                                                         31-Aug-2014 02:40     15M
cvc4-1.4_0.darwin_11.x86_64.tbz2.rmd160                                                                                  31-Aug-2014 02:40     512
cvc4-1.4_0.darwin_12.x86_64.tbz2                                                                                         07-Oct-2015 23:58     12M
cvc4-1.4_0.darwin_12.x86_64.tbz2.rmd160                                                                                  07-Oct-2015 23:58     512
cvc4-1.4_0.darwin_13.x86_64.tbz2                                                                                         31-Aug-2014 02:38     12M
cvc4-1.4_0.darwin_13.x86_64.tbz2.rmd160                                                                                  31-Aug-2014 02:38     512
cvc4-1.4_0.darwin_14.x86_64.tbz2                                                                                         24-Nov-2014 19:00     14M
cvc4-1.4_0.darwin_14.x86_64.tbz2.rmd160                                                                                  24-Nov-2014 19:00     512
cvc4-1.4_0.darwin_15.x86_64.tbz2                                                                                         09-Feb-2016 14:33     13M
cvc4-1.4_0.darwin_15.x86_64.tbz2.rmd160                                                                                  09-Feb-2016 14:33     512
cvc4-1.4_1.darwin_10.i386.tbz2                                                                                           10-Nov-2017 17:51    107M
cvc4-1.4_1.darwin_10.i386.tbz2.rmd160                                                                                    10-Nov-2017 17:51     512
cvc4-1.4_1.darwin_10.x86_64.tbz2                                                                                         10-Nov-2017 17:29     13M
cvc4-1.4_1.darwin_10.x86_64.tbz2.rmd160                                                                                  10-Nov-2017 17:29     512
cvc4-1.4_1.darwin_11.x86_64.tbz2                                                                                         10-Nov-2017 18:06     15M
cvc4-1.4_1.darwin_11.x86_64.tbz2.rmd160                                                                                  10-Nov-2017 18:06     512
cvc4-1.4_1.darwin_12.x86_64.tbz2                                                                                         10-Nov-2017 17:45     12M
cvc4-1.4_1.darwin_12.x86_64.tbz2.rmd160                                                                                  10-Nov-2017 17:45     512
cvc4-1.4_1.darwin_13.x86_64.tbz2                                                                                         10-Nov-2017 18:22     14M
cvc4-1.4_1.darwin_13.x86_64.tbz2.rmd160                                                                                  10-Nov-2017 18:22     512
cvc4-1.4_1.darwin_14.x86_64.tbz2                                                                                         10-Nov-2017 19:56     14M
cvc4-1.4_1.darwin_14.x86_64.tbz2.rmd160                                                                                  10-Nov-2017 19:56     512
cvc4-1.4_1.darwin_15.x86_64.tbz2                                                                                         10-Nov-2017 19:53     14M
cvc4-1.4_1.darwin_15.x86_64.tbz2.rmd160                                                                                  10-Nov-2017 19:53     512
cvc4-1.4_1.darwin_16.x86_64.tbz2                                                                                         10-Nov-2017 20:41     14M
cvc4-1.4_1.darwin_16.x86_64.tbz2.rmd160                                                                                  10-Nov-2017 20:41     512
cvc4-1.4_1.darwin_17.x86_64.tbz2                                                                                         10-Nov-2017 18:53     14M
cvc4-1.4_1.darwin_17.x86_64.tbz2.rmd160                                                                                  10-Nov-2017 18:53     512
cvc4-1.4_1.darwin_9.ppc.tbz2                                                                                             10-Nov-2017 18:29    101M
cvc4-1.4_1.darwin_9.ppc.tbz2.rmd160                                                                                      10-Nov-2017 18:29     512