Index of /packages/cvc4/


../
cvc4-1.4_0.darwin_10.x86_64.tbz2                   30-Aug-2014 23:40            14086998
cvc4-1.4_0.darwin_10.x86_64.tbz2.rmd160            30-Aug-2014 23:40                 512
cvc4-1.4_0.darwin_11.x86_64.tbz2                   30-Aug-2014 23:40            15905173
cvc4-1.4_0.darwin_11.x86_64.tbz2.rmd160            30-Aug-2014 23:40                 512
cvc4-1.4_0.darwin_12.x86_64.tbz2                   07-Oct-2015 20:58            12594382
cvc4-1.4_0.darwin_12.x86_64.tbz2.rmd160            07-Oct-2015 20:58                 512
cvc4-1.4_0.darwin_13.x86_64.tbz2                   30-Aug-2014 23:38            12736341
cvc4-1.4_0.darwin_13.x86_64.tbz2.rmd160            30-Aug-2014 23:38                 512
cvc4-1.4_0.darwin_14.x86_64.tbz2                   24-Nov-2014 16:00            14261756
cvc4-1.4_0.darwin_14.x86_64.tbz2.rmd160            24-Nov-2014 16:00                 512
cvc4-1.4_0.darwin_15.x86_64.tbz2                   09-Feb-2016 11:33            14136898
cvc4-1.4_0.darwin_15.x86_64.tbz2.rmd160            09-Feb-2016 11:33                 512
cvc4-1.4_1.darwin_10.i386.tbz2                     10-Nov-2017 14:51           112532608
cvc4-1.4_1.darwin_10.i386.tbz2.rmd160              10-Nov-2017 14:51                 512
cvc4-1.4_1.darwin_10.x86_64.tbz2                   10-Nov-2017 14:29            14082669
cvc4-1.4_1.darwin_10.x86_64.tbz2.rmd160            10-Nov-2017 14:29                 512
cvc4-1.4_1.darwin_11.x86_64.tbz2                   10-Nov-2017 15:06            15958615
cvc4-1.4_1.darwin_11.x86_64.tbz2.rmd160            10-Nov-2017 15:06                 512
cvc4-1.4_1.darwin_12.x86_64.tbz2                   10-Nov-2017 14:45            12569734
cvc4-1.4_1.darwin_12.x86_64.tbz2.rmd160            10-Nov-2017 14:45                 512
cvc4-1.4_1.darwin_13.x86_64.tbz2                   10-Nov-2017 15:22            14218412
cvc4-1.4_1.darwin_13.x86_64.tbz2.rmd160            10-Nov-2017 15:22                 512
cvc4-1.4_1.darwin_14.x86_64.tbz2                   10-Nov-2017 16:56            14169629
cvc4-1.4_1.darwin_14.x86_64.tbz2.rmd160            10-Nov-2017 16:56                 512
cvc4-1.4_1.darwin_15.x86_64.tbz2                   10-Nov-2017 16:53            14339608
cvc4-1.4_1.darwin_15.x86_64.tbz2.rmd160            10-Nov-2017 16:53                 512
cvc4-1.4_1.darwin_16.x86_64.tbz2                   10-Nov-2017 17:41            15119727
cvc4-1.4_1.darwin_16.x86_64.tbz2.rmd160            10-Nov-2017 17:41                 512
cvc4-1.4_1.darwin_17.x86_64.tbz2                   10-Nov-2017 15:53            15094282
cvc4-1.4_1.darwin_17.x86_64.tbz2.rmd160            10-Nov-2017 15:53                 512
cvc4-1.4_1.darwin_9.ppc.tbz2                       10-Nov-2017 15:29           105584793
cvc4-1.4_1.darwin_9.ppc.tbz2.rmd160                10-Nov-2017 15:29                 512