| ../ | | - | Directory |
| minisat+_1.0-2.debian.tar.gz | 2011-May-25 02:50:10 | 3.8K | application/x-gtar-compressed |
| minisat+_1.0-2.dsc | 2011-May-25 02:50:10 | 1.2K | application/octet-stream |
| minisat+_1.0-2_amd64.deb | 2011-May-25 02:50:10 | 175.9K | application/vnd.debian.binary-package |
| minisat+_1.0-2_arm64.deb | 2014-Aug-18 10:43:49 | 131.4K | application/vnd.debian.binary-package |
| minisat+_1.0-2_armel.deb | 2011-May-25 08:14:39 | 155.2K | application/vnd.debian.binary-package |
| minisat+_1.0-2_armhf.deb | 2011-Nov-28 00:21:38 | 141.9K | application/vnd.debian.binary-package |
| minisat+_1.0-2_i386.deb | 2011-May-25 08:49:31 | 169.9K | application/vnd.debian.binary-package |
| minisat+_1.0-2_ia64.deb | 2011-May-27 18:25:52 | 274.3K | application/vnd.debian.binary-package |
| minisat+_1.0-2_kfreebsd-amd64.deb | 2011-May-25 14:34:14 | 176.0K | application/vnd.debian.binary-package |
| minisat+_1.0-2_kfreebsd-i386.deb | 2011-May-25 14:49:20 | 169.8K | application/vnd.debian.binary-package |
| minisat+_1.0-2_mips.deb | 2011-May-25 08:16:50 | 164.7K | application/vnd.debian.binary-package |
| minisat+_1.0-2_mipsel.deb | 2011-May-27 22:10:21 | 166.1K | application/vnd.debian.binary-package |
| minisat+_1.0-2_powerpc.deb | 2011-May-25 08:20:10 | 169.2K | application/vnd.debian.binary-package |
| minisat+_1.0-2_ppc64el.deb | 2014-Aug-20 09:41:19 | 143.2K | application/vnd.debian.binary-package |
| minisat+_1.0-2_s390.deb | 2011-May-25 10:26:44 | 167.2K | application/vnd.debian.binary-package |
| minisat+_1.0-2_s390x.deb | 2011-Nov-26 23:45:25 | 178.0K | application/vnd.debian.binary-package |
| minisat+_1.0-2_sparc.deb | 2011-May-25 16:11:11 | 150.2K | application/vnd.debian.binary-package |
| minisat+_1.0-3.debian.tar.xz | 2016-Dec-19 19:23:23 | 4.0K | application/x-xz |
| minisat+_1.0-3.dsc | 2016-Dec-19 19:23:23 | 1.9K | application/octet-stream |
| minisat+_1.0-3_amd64.deb | 2016-Dec-19 19:58:29 | 154.6K | application/vnd.debian.binary-package |
| minisat+_1.0-3_arm64.deb | 2016-Dec-19 19:58:27 | 130.7K | application/vnd.debian.binary-package |
| minisat+_1.0-3_armel.deb | 2016-Dec-19 19:58:28 | 126.5K | application/vnd.debian.binary-package |
| minisat+_1.0-3_armhf.deb | 2016-Dec-19 19:58:31 | 130.1K | application/vnd.debian.binary-package |
| minisat+_1.0-3_i386.deb | 2016-Dec-19 19:58:28 | 156.3K | application/vnd.debian.binary-package |
| minisat+_1.0-3_mips.deb | 2016-Dec-19 19:58:28 | 138.5K | application/vnd.debian.binary-package |
| minisat+_1.0-3_mips64el.deb | 2016-Dec-19 19:58:31 | 144.4K | application/vnd.debian.binary-package |
| minisat+_1.0-3_mipsel.deb | 2016-Dec-19 19:58:28 | 141.1K | application/vnd.debian.binary-package |
| minisat+_1.0-3_ppc64el.deb | 2016-Dec-19 19:58:28 | 144.8K | application/vnd.debian.binary-package |
| minisat+_1.0-3_s390x.deb | 2016-Dec-19 19:58:28 | 143.1K | application/vnd.debian.binary-package |
| minisat+_1.0.orig.tar.gz | 2011-May-14 13:02:24 | 78.1K | application/x-gtar-compressed |