| Parent directory/ | - | - |
| minisat2_2.2.1-4_amd64.deb | 5100 | 19-Sep-2017 09:18 |
| minisat2_2.2.1-5+b1_amd64.deb | 5274 | 19-Aug-2017 17:43 |
| minisat2_2.2.1-5+b1_i386.deb | 5262 | 03-Sep-2017 22:57 |
| minisat2_2.2.1-5+b3_amd64.deb | 5258 | 07-Mar-2017 11:27 |
| minisat2_2.2.1-5.debian.tar.xz | 9348 | 30-Jul-2014 10:01 |
| minisat2_2.2.1-5.dsc | 1893 | 30-Jul-2014 10:01 |
| minisat2_2.2.1.orig.tar.gz | 43K | 29-Mar-2011 14:07 |
| minisat_2.2.1-4_amd64.deb | 130K | 19-Sep-2017 09:18 |
| minisat_2.2.1-5+b1_amd64.deb | 84K | 19-Aug-2017 17:43 |
| minisat_2.2.1-5+b1_i386.deb | 95K | 03-Sep-2017 22:57 |
| minisat_2.2.1-5+b3_amd64.deb | 83K | 07-Mar-2017 11:27 |