Index of /cvc4

[ICO]NameLast modifiedSize

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

Apache/2.4.33 (Unix) OpenSSL/1.0.2q Server at kmq.jp.packages.macports.org Port 80