| Parent directory/ | - | - |
| minisat+_1.0-4_mipsel.deb | 141.33 KiB | 2017-Feb-22 21:43 |
| minisat+_1.0-4_mips64el.deb | 144.42 KiB | 2017-Feb-22 21:28 |
| minisat+_1.0-4_armhf.deb | 130.60 KiB | 2017-Feb-22 21:12 |
| minisat+_1.0-4_arm64.deb | 130.78 KiB | 2017-Feb-22 21:12 |
| minisat+_1.0-4_i386.deb | 156.32 KiB | 2017-Feb-22 21:12 |
| minisat+_1.0-4_mips.deb | 138.71 KiB | 2017-Feb-22 21:12 |
| minisat+_1.0-4_s390x.deb | 143.26 KiB | 2017-Feb-22 21:12 |
| minisat+_1.0-4_ppc64el.deb | 145.01 KiB | 2017-Feb-22 21:12 |
| minisat+_1.0-4_amd64.deb | 154.66 KiB | 2017-Feb-22 21:12 |
| minisat+_1.0-4_armel.deb | 126.88 KiB | 2017-Feb-22 21:12 |
| minisat+_1.0-4.debian.tar.xz | 4.08 KiB | 2017-Feb-22 20:22 |
| minisat+_1.0-4.dsc | 1.94 KiB | 2017-Feb-22 20:22 |
| minisat+_1.0-3_armhf.deb | 130.18 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3_mips64el.deb | 144.39 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3_amd64.deb | 154.68 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3_armel.deb | 126.55 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3_i386.deb | 156.32 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3_mips.deb | 138.56 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3_mipsel.deb | 141.13 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3_ppc64el.deb | 144.87 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3_s390x.deb | 143.19 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3_arm64.deb | 130.72 KiB | 2016-Dec-19 19:58 |
| minisat+_1.0-3.debian.tar.xz | 4.03 KiB | 2016-Dec-19 19:23 |
| minisat+_1.0-3.dsc | 1.94 KiB | 2016-Dec-19 19:23 |
| minisat+_1.0-2_armhf.deb | 141.89 KiB | 2011-Nov-28 00:21 |
| minisat+_1.0-2_i386.deb | 169.97 KiB | 2011-May-25 07:49 |
| minisat+_1.0-2_armel.deb | 155.25 KiB | 2011-May-25 07:14 |
| minisat+_1.0-2.debian.tar.gz | 3.87 KiB | 2011-May-25 01:50 |
| minisat+_1.0-2_amd64.deb | 175.97 KiB | 2011-May-25 01:50 |
| minisat+_1.0-2.dsc | 1.23 KiB | 2011-May-25 01:50 |
| minisat+_1.0.orig.tar.gz | 78.12 KiB | 2011-May-14 12:02 |
