| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| minisat2_070721-3_i386.deb | 36K | 20-Jun-2008 12:04 |
| minisat2_070721-6_i386.deb | 41K | 06-Nov-2008 20:05 |
| minisat2_070721-8_i386.deb | 93K | 18-Jan-2010 13:05 |
| minisat2_2.2.0-2_i386.deb | 103K | 17-Oct-2010 10:05 |
| minisat2_2.2.1-2_i386.deb | 1930 | 14-Jun-2011 12:05 |
| minisat2_2.2.1-3_i386.deb | 1892 | 18-Oct-2011 02:05 |
| minisat_2.2.1-2_i386.deb | 123K | 14-Jun-2011 12:05 |
| minisat_2.2.1-3_i386.deb | 124K | 18-Oct-2011 02:05 |