Index of /macports/packages/minisat

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]minisat-2.2.0_0.darwin_10.x86_64.tbz229-Feb-2016 05:25 49K 
[   ]minisat-2.2.0_0.darwin_10.x86_64.tbz2.rmd16029-Feb-2016 05:25 512  
[   ]minisat-2.2.0_0.darwin_12.x86_64.tbz207-Oct-2015 13:59 45K 
[   ]minisat-2.2.0_0.darwin_12.x86_64.tbz2.rmd16007-Oct-2015 13:59 512  
[   ]minisat-2.2.0_0.darwin_13.x86_64.tbz211-Dec-2013 01:02 43K 
[   ]minisat-2.2.0_0.darwin_13.x86_64.tbz2.rmd16011-Dec-2013 01:02 512  
[   ]minisat-2.2.0_1.darwin_9.ppc.tbz201-Oct-2016 17:27 45K 
[   ]minisat-2.2.0_1.darwin_9.ppc.tbz2.rmd16001-Oct-2016 17:27 512  
[   ]minisat-2.2.0_1.darwin_10.i386.tbz221-Sep-2016 04:56 50K 
[   ]minisat-2.2.0_1.darwin_10.i386.tbz2.rmd16021-Sep-2016 04:56 512  
[   ]minisat-2.2.0_1.darwin_10.x86_64.tbz220-Sep-2016 22:59 49K 
[   ]minisat-2.2.0_1.darwin_10.x86_64.tbz2.rmd16020-Sep-2016 22:59 512  
[   ]minisat-2.2.0_1.darwin_11.x86_64.tbz220-Sep-2016 23:07 45K 
[   ]minisat-2.2.0_1.darwin_11.x86_64.tbz2.rmd16020-Sep-2016 23:07 512  
[   ]minisat-2.2.0_1.darwin_12.x86_64.tbz220-Sep-2016 21:45 45K 
[   ]minisat-2.2.0_1.darwin_12.x86_64.tbz2.rmd16020-Sep-2016 21:45 512  
[   ]minisat-2.2.0_1.darwin_13.x86_64.tbz220-Sep-2016 21:43 44K 
[   ]minisat-2.2.0_1.darwin_13.x86_64.tbz2.rmd16020-Sep-2016 21:43 512  
[   ]minisat-2.2.0_1.darwin_14.x86_64.tbz220-Sep-2016 22:28 45K 
[   ]minisat-2.2.0_1.darwin_14.x86_64.tbz2.rmd16020-Sep-2016 22:28 512  
[   ]minisat-2.2.0_1.darwin_15.x86_64.tbz220-Sep-2016 22:52 44K 
[   ]minisat-2.2.0_1.darwin_15.x86_64.tbz2.rmd16020-Sep-2016 22:52 512  
[   ]minisat-2.2.0_1.darwin_16.x86_64.tbz220-Sep-2016 22:35 44K 
[   ]minisat-2.2.0_1.darwin_16.x86_64.tbz2.rmd16020-Sep-2016 22:35 512