Index of /minisat

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]minisat-2.2.0_0.darwin_10.x86_64.tbz22016-02-29 14:25 49K
[   ]minisat-2.2.0_0.darwin_10.x86_64.tbz2.rmd1602016-02-29 14:25 512
[   ]minisat-2.2.0_0.darwin_12.x86_64.tbz22015-10-07 22:59 45K
[   ]minisat-2.2.0_0.darwin_12.x86_64.tbz2.rmd1602015-10-07 22:59 512
[   ]minisat-2.2.0_0.darwin_13.x86_64.tbz22013-12-11 10:02 43K
[   ]minisat-2.2.0_0.darwin_13.x86_64.tbz2.rmd1602013-12-11 10:02 512
[   ]minisat-2.2.0_1.darwin_10.i386.tbz22016-09-21 13:56 50K
[   ]minisat-2.2.0_1.darwin_10.i386.tbz2.rmd1602016-09-21 13:56 512
[   ]minisat-2.2.0_1.darwin_10.x86_64.tbz22016-09-21 07:59 49K
[   ]minisat-2.2.0_1.darwin_10.x86_64.tbz2.rmd1602016-09-21 07:59 512
[   ]minisat-2.2.0_1.darwin_11.x86_64.tbz22016-09-21 08:07 45K
[   ]minisat-2.2.0_1.darwin_11.x86_64.tbz2.rmd1602016-09-21 08:07 512
[   ]minisat-2.2.0_1.darwin_12.x86_64.tbz22016-09-21 06:45 45K
[   ]minisat-2.2.0_1.darwin_12.x86_64.tbz2.rmd1602016-09-21 06:45 512
[   ]minisat-2.2.0_1.darwin_13.x86_64.tbz22016-09-21 06:43 44K
[   ]minisat-2.2.0_1.darwin_13.x86_64.tbz2.rmd1602016-09-21 06:43 512
[   ]minisat-2.2.0_1.darwin_14.x86_64.tbz22016-09-21 07:28 45K
[   ]minisat-2.2.0_1.darwin_14.x86_64.tbz2.rmd1602016-09-21 07:28 512
[   ]minisat-2.2.0_1.darwin_15.x86_64.tbz22016-09-21 07:52 44K
[   ]minisat-2.2.0_1.darwin_15.x86_64.tbz2.rmd1602016-09-21 07:52 512
[   ]minisat-2.2.0_1.darwin_16.x86_64.tbz22016-09-21 07:35 44K
[   ]minisat-2.2.0_1.darwin_16.x86_64.tbz2.rmd1602016-09-21 07:35 512
[   ]minisat-2.2.0_1.darwin_9.ppc.tbz22016-10-02 02:27 45K
[   ]minisat-2.2.0_1.darwin_9.ppc.tbz2.rmd1602016-10-02 02:27 512

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