Index of /funtoo/sci-mathematics/minisat

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Manifest                15-Sep-2016 02:31  1.1K  
[DIR] files/                  19-Sep-2016 02:33    -   
[   ] metadata.xml            01-May-2017 02:34  451   
[TXT] minisat-2.2.0-r4.ebuild 02-Mar-2017 02:29  1.3K  
[TXT] minisat-2.2.0_p20130..> 02-Mar-2017 02:29  1.6K