Index of /packages/cvc4/
../
cvc4-1.4_2.darwin_13.x86_64.tbz2 16-Feb-2018 20:42 14221145
cvc4-1.4_2.darwin_13.x86_64.tbz2.rmd160 16-Feb-2018 20:42 512
cvc4-1.4_2.darwin_14.x86_64.tbz2 16-Feb-2018 21:36 14171725
cvc4-1.4_2.darwin_14.x86_64.tbz2.rmd160 16-Feb-2018 21:36 512
cvc4-1.4_2.darwin_15.x86_64.tbz2 16-Feb-2018 21:52 14335220
cvc4-1.4_2.darwin_15.x86_64.tbz2.rmd160 16-Feb-2018 21:52 512
cvc4-1.4_2.darwin_16.x86_64.tbz2 17-Feb-2018 01:26 15122633
cvc4-1.4_2.darwin_16.x86_64.tbz2.rmd160 17-Feb-2018 01:26 512
cvc4-1.4_2.darwin_17.x86_64.tbz2 16-Feb-2018 21:09 15092154
cvc4-1.4_2.darwin_17.x86_64.tbz2.rmd160 16-Feb-2018 21:09 512
cvc4-1.4_2.darwin_18.x86_64.tbz2 20-Oct-2018 22:25 15836885
cvc4-1.4_2.darwin_18.x86_64.tbz2.rmd160 20-Oct-2018 22:25 512
cvc4-1.4_2.darwin_9.ppc.tbz2 16-Feb-2018 21:22 16338148
cvc4-1.4_2.darwin_9.ppc.tbz2.rmd160 16-Feb-2018 21:22 512