Index of /cvc4

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]cvc4-1.4_0.darwin_10.x86_64.tbz22014-08-31 01:40 13M
[   ]cvc4-1.4_0.darwin_10.x86_64.tbz2.rmd1602014-08-31 01:40 512
[   ]cvc4-1.4_0.darwin_11.x86_64.tbz22014-08-31 01:40 15M
[   ]cvc4-1.4_0.darwin_11.x86_64.tbz2.rmd1602014-08-31 01:40 512
[   ]cvc4-1.4_0.darwin_12.x86_64.tbz22015-10-07 22:58 12M
[   ]cvc4-1.4_0.darwin_12.x86_64.tbz2.rmd1602015-10-07 22:58 512
[   ]cvc4-1.4_0.darwin_13.x86_64.tbz22014-08-31 01:38 12M
[   ]cvc4-1.4_0.darwin_13.x86_64.tbz2.rmd1602014-08-31 01:38 512
[   ]cvc4-1.4_0.darwin_14.x86_64.tbz22014-11-24 17:00 14M
[   ]cvc4-1.4_0.darwin_14.x86_64.tbz2.rmd1602014-11-24 17:00 512
[   ]cvc4-1.4_0.darwin_15.x86_64.tbz22016-02-09 12:33 13M
[   ]cvc4-1.4_0.darwin_15.x86_64.tbz2.rmd1602016-02-09 12:33 512
[   ]cvc4-1.4_1.darwin_10.i386.tbz22017-11-10 15:51 107M
[   ]cvc4-1.4_1.darwin_10.i386.tbz2.rmd1602017-11-10 15:51 512
[   ]cvc4-1.4_1.darwin_10.x86_64.tbz22017-11-10 15:29 13M
[   ]cvc4-1.4_1.darwin_10.x86_64.tbz2.rmd1602017-11-10 15:29 512
[   ]cvc4-1.4_1.darwin_11.x86_64.tbz22017-11-10 16:06 15M
[   ]cvc4-1.4_1.darwin_11.x86_64.tbz2.rmd1602017-11-10 16:06 512
[   ]cvc4-1.4_1.darwin_12.x86_64.tbz22017-11-10 15:45 12M
[   ]cvc4-1.4_1.darwin_12.x86_64.tbz2.rmd1602017-11-10 15:45 512
[   ]cvc4-1.4_1.darwin_13.x86_64.tbz22017-11-10 16:22 14M
[   ]cvc4-1.4_1.darwin_13.x86_64.tbz2.rmd1602017-11-10 16:22 512
[   ]cvc4-1.4_1.darwin_14.x86_64.tbz22017-11-10 17:56 14M
[   ]cvc4-1.4_1.darwin_14.x86_64.tbz2.rmd1602017-11-10 17:56 512
[   ]cvc4-1.4_1.darwin_15.x86_64.tbz22017-11-10 17:53 14M
[   ]cvc4-1.4_1.darwin_15.x86_64.tbz2.rmd1602017-11-10 17:53 512
[   ]cvc4-1.4_1.darwin_16.x86_64.tbz22017-11-10 18:41 14M
[   ]cvc4-1.4_1.darwin_16.x86_64.tbz2.rmd1602017-11-10 18:41 512
[   ]cvc4-1.4_1.darwin_17.x86_64.tbz22017-11-10 16:53 14M
[   ]cvc4-1.4_1.darwin_17.x86_64.tbz2.rmd1602017-11-10 16:53 512
[   ]cvc4-1.4_1.darwin_9.ppc.tbz22017-11-10 16:29 101M
[   ]cvc4-1.4_1.darwin_9.ppc.tbz2.rmd1602017-11-10 16:29 512
[   ]cvc4-1.4_2.darwin_10.i386.tbz22018-02-16 23:00 16M
[   ]cvc4-1.4_2.darwin_10.i386.tbz2.rmd1602018-02-16 23:00 512
[   ]cvc4-1.4_2.darwin_10.x86_64.tbz22018-02-16 22:35 13M
[   ]cvc4-1.4_2.darwin_10.x86_64.tbz2.rmd1602018-02-16 22:35 512
[   ]cvc4-1.4_2.darwin_11.x86_64.tbz22018-02-16 21:36 15M
[   ]cvc4-1.4_2.darwin_11.x86_64.tbz2.rmd1602018-02-16 21:36 512
[   ]cvc4-1.4_2.darwin_12.x86_64.tbz22018-02-16 21:34 12M
[   ]cvc4-1.4_2.darwin_12.x86_64.tbz2.rmd1602018-02-16 21:34 512
[   ]cvc4-1.4_2.darwin_13.x86_64.tbz22018-02-16 21:42 14M
[   ]cvc4-1.4_2.darwin_13.x86_64.tbz2.rmd1602018-02-16 21:42 512
[   ]cvc4-1.4_2.darwin_14.x86_64.tbz22018-02-16 22:36 14M
[   ]cvc4-1.4_2.darwin_14.x86_64.tbz2.rmd1602018-02-16 22:36 512
[   ]cvc4-1.4_2.darwin_15.x86_64.tbz22018-02-16 22:52 14M
[   ]cvc4-1.4_2.darwin_15.x86_64.tbz2.rmd1602018-02-16 22:52 512
[   ]cvc4-1.4_2.darwin_16.x86_64.tbz22018-02-17 02:26 14M
[   ]cvc4-1.4_2.darwin_16.x86_64.tbz2.rmd1602018-02-17 02:26 512
[   ]cvc4-1.4_2.darwin_17.x86_64.tbz22018-02-16 22:09 14M
[   ]cvc4-1.4_2.darwin_17.x86_64.tbz2.rmd1602018-02-16 22:09 512
[   ]cvc4-1.4_2.darwin_9.ppc.tbz22018-02-16 22:22 16M
[   ]cvc4-1.4_2.darwin_9.ppc.tbz2.rmd1602018-02-16 22:22 512

Apache/2.4 Server at packages.macports.org Port 80