Index of /debian-ports/pool-sparc64/main/m/minisat2

Icon  Name                                  Last modified      Size  Description
[DIR] Parent Directory                                           -   
[   ] minisat-dbgsym_2.2.1-5+b2_sparc64.deb 28-Jul-2016 02:03  139K  
[   ] minisat2_2.2.1-5+b2_sparc64.deb       28-Jul-2016 02:03  5.1K  
[   ] minisat_2.2.1-5+b2_sparc64.deb        28-Jul-2016 02:03   80K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80