| Parent Directory/ | | - | Directory |
| minisat+_1.0-2.debian.tar.gz | 2011-May-25 03:50:10 | 3.8K | application/x-gzip |
| minisat+_1.0-2.dsc | 2011-May-25 03:50:10 | 1.2K | application/octet-stream |
| minisat+_1.0-2_amd64.deb | 2011-May-25 03:50:10 | 175.9K | application/octet-stream |
| minisat+_1.0-2_arm64.deb | 2014-Aug-18 11:43:49 | 131.4K | application/octet-stream |
| minisat+_1.0-2_armhf.deb | 2011-Nov-28 01:21:38 | 141.9K | application/octet-stream |
| minisat+_1.0-2_i386.deb | 2011-May-25 09:49:31 | 169.9K | application/octet-stream |
| minisat+_1.0-2_kfreebsd-amd64.deb | 2011-May-25 15:34:14 | 176.0K | application/octet-stream |
| minisat+_1.0-2_kfreebsd-i386.deb | 2011-May-25 15:49:20 | 169.8K | application/octet-stream |
| minisat+_1.0-2_mips.deb | 2011-May-25 09:16:50 | 164.7K | application/octet-stream |
| minisat+_1.0-2_mipsel.deb | 2011-May-27 23:10:21 | 166.1K | application/octet-stream |
| minisat+_1.0-2_powerpc.deb | 2011-May-25 09:20:10 | 169.2K | application/octet-stream |
| minisat+_1.0-2_ppc64el.deb | 2014-Aug-20 10:41:19 | 143.2K | application/octet-stream |
| minisat+_1.0-3.debian.tar.xz | 2016-Dec-19 20:23:23 | 4.0K | application/octet-stream |
| minisat+_1.0-3.dsc | 2016-Dec-19 20:23:23 | 1.9K | application/octet-stream |
| minisat+_1.0-3_amd64.deb | 2016-Dec-19 20:58:29 | 154.6K | application/octet-stream |
| minisat+_1.0-3_arm64.deb | 2016-Dec-19 20:58:27 | 130.7K | application/octet-stream |
| minisat+_1.0-3_armhf.deb | 2016-Dec-19 20:58:31 | 130.1K | application/octet-stream |
| minisat+_1.0-3_i386.deb | 2016-Dec-19 20:58:28 | 156.3K | application/octet-stream |
| minisat+_1.0-3_kfreebsd-amd64.deb | 2016-Dec-21 21:12:59 | 148.7K | application/octet-stream |
| minisat+_1.0-3_kfreebsd-i386.deb | 2016-Dec-22 01:14:34 | 143.5K | application/octet-stream |
| minisat+_1.0-3_mips.deb | 2016-Dec-19 20:58:28 | 138.5K | application/octet-stream |
| minisat+_1.0-3_mips64el.deb | 2016-Dec-19 20:58:31 | 144.4K | application/octet-stream |
| minisat+_1.0-3_mipsel.deb | 2016-Dec-19 20:58:28 | 141.1K | application/octet-stream |
| minisat+_1.0-3_powerpc.deb | 2016-Dec-19 20:58:30 | 132.8K | application/octet-stream |
| minisat+_1.0-3_ppc64el.deb | 2016-Dec-19 20:58:28 | 144.8K | application/octet-stream |
| minisat+_1.0.orig.tar.gz | 2011-May-14 14:02:24 | 78.1K | application/x-gzip |