| Parent directory/ | - | - |
| minisat+_1.0-2+b1_armhf.deb | 123K | 24-Dec-2015 00:32 |
| minisat+_1.0-2_armel.deb | 155K | 25-May-2011 07:14 |
| minisat+_1.0-2_armhf.deb | 142K | 28-Nov-2011 00:21 |
| minisat+_1.0-2_ia64.deb | 274K | 27-May-2011 17:25 |
| minisat+_1.0-2_mips.deb | 165K | 25-May-2011 07:16 |
| minisat+_1.0-2_mips64el.deb | 141K | 29-Aug-2015 09:26 |
| minisat+_1.0-2_ppc64el.deb | 143K | 20-Aug-2014 08:41 |
| minisat+_1.0-2_s390x.deb | 178K | 26-Nov-2011 23:45 |
| minisat+_1.0-4.debian.tar.xz | 4176 | 22-Feb-2017 20:22 |
| minisat+_1.0-4.dsc | 1984 | 22-Feb-2017 20:22 |
| minisat+_1.0-4_amd64.deb | 155K | 22-Feb-2017 21:12 |
| minisat+_1.0-4_arm64.deb | 131K | 22-Feb-2017 21:12 |
| minisat+_1.0-4_i386.deb | 156K | 22-Feb-2017 21:12 |
| minisat+_1.0-5.debian.tar.xz | 4448 | 09-Oct-2024 21:34 |
| minisat+_1.0-5.dsc | 1979 | 09-Oct-2024 21:34 |
| minisat+_1.0-5_amd64.deb | 146K | 10-Oct-2024 00:45 |
| minisat+_1.0-5_arm64.deb | 130K | 10-Oct-2024 00:29 |
| minisat+_1.0-5_i386.deb | 145K | 10-Oct-2024 00:40 |
| minisat+_1.0-5_riscv64.deb | 148K | 10-Oct-2024 01:20 |
| minisat+_1.0.orig.tar.gz | 78K | 14-May-2011 12:02 |