| name | size | date |
|---|---|---|
| minisat+_1.0-3_armhf.deb | 130.2K | 2016-12-19 19:58:31 |
| minisat+_1.0-3_mips64el.deb | 144.4K | 2016-12-19 19:58:31 |
| minisat+_1.0-3_amd64.deb | 154.7K | 2016-12-19 19:58:29 |
| minisat+_1.0-3_armel.deb | 126.5K | 2016-12-19 19:58:28 |
| minisat+_1.0-3_i386.deb | 156.3K | 2016-12-19 19:58:28 |
| minisat+_1.0-3_mips.deb | 138.6K | 2016-12-19 19:58:28 |
| minisat+_1.0-3_mipsel.deb | 141.1K | 2016-12-19 19:58:28 |
| minisat+_1.0-3_ppc64el.deb | 144.9K | 2016-12-19 19:58:28 |
| minisat+_1.0-3_s390x.deb | 143.2K | 2016-12-19 19:58:28 |
| minisat+_1.0-3_arm64.deb | 130.7K | 2016-12-19 19:58:27 |
| minisat+_1.0-3.debian.tar.xz | 4.0K | 2016-12-19 19:23:23 |
| minisat+_1.0-3.dsc | 1.9K | 2016-12-19 19:23:23 |
| minisat+_1.0-2_ppc64el.deb | 143.2K | 2014-08-20 08:41:19 |
| minisat+_1.0-2_arm64.deb | 131.5K | 2014-08-18 09:43:49 |
| minisat+_1.0-2_armhf.deb | 141.9K | 2011-11-28 00:21:38 |
| minisat+_1.0-2_s390x.deb | 178.0K | 2011-11-26 23:45:25 |
| minisat+_1.0-2_mipsel.deb | 166.2K | 2011-05-27 21:10:21 |
| minisat+_1.0-2_ia64.deb | 274.4K | 2011-05-27 17:25:52 |
| minisat+_1.0-2_sparc.deb | 150.3K | 2011-05-25 15:11:11 |
| minisat+_1.0-2_kfreebsd-i386.deb | 169.8K | 2011-05-25 13:49:20 |
| minisat+_1.0-2_kfreebsd-amd64.deb | 176.1K | 2011-05-25 13:34:14 |
| minisat+_1.0-2_s390.deb | 167.2K | 2011-05-25 09:26:44 |
| minisat+_1.0-2_i386.deb | 170.0K | 2011-05-25 07:49:31 |
| minisat+_1.0-2_powerpc.deb | 169.3K | 2011-05-25 07:20:10 |
| minisat+_1.0-2_mips.deb | 164.7K | 2011-05-25 07:16:50 |
| minisat+_1.0-2_armel.deb | 155.2K | 2011-05-25 07:14:39 |
| minisat+_1.0-2.debian.tar.gz | 3.9K | 2011-05-25 01:50:10 |
| minisat+_1.0-2.dsc | 1.2K | 2011-05-25 01:50:10 |
| minisat+_1.0-2_amd64.deb | 176.0K | 2011-05-25 01:50:10 |
| minisat+_1.0.orig.tar.gz | 78.1K | 2011-05-14 12:02:24 |