File Name  ↓ File Size  ↓ Date  ↓ 
minisat+_1.0-2.debian.tar.gz3.9 KiB2011-May-25 02:50
minisat+_1.0-2.dsc1.2 KiB2011-May-25 02:50
minisat+_1.0-2_amd64.deb176.0 KiB2011-May-25 02:50
minisat+_1.0-2_arm64.deb131.5 KiB2014-Aug-18 10:43
minisat+_1.0-2_armel.deb155.2 KiB2011-May-25 08:14
minisat+_1.0-2_armhf.deb141.9 KiB2011-Nov-28 01:21
minisat+_1.0-2_i386.deb170.0 KiB2011-May-25 08:49
minisat+_1.0-2_ia64.deb274.4 KiB2011-May-27 18:25
minisat+_1.0-2_kfreebsd-amd64.deb176.1 KiB2011-May-25 14:34
minisat+_1.0-2_kfreebsd-i386.deb169.8 KiB2011-May-25 14:49
minisat+_1.0-2_mips.deb164.7 KiB2011-May-25 08:16
minisat+_1.0-2_mipsel.deb166.2 KiB2011-May-27 22:10
minisat+_1.0-2_powerpc.deb169.3 KiB2011-May-25 08:20
minisat+_1.0-2_ppc64el.deb143.2 KiB2014-Aug-20 09:41
minisat+_1.0-2_s390.deb167.2 KiB2011-May-25 10:26
minisat+_1.0-2_s390x.deb178.0 KiB2011-Nov-27 00:45
minisat+_1.0-2_sparc.deb150.3 KiB2011-May-25 16:11
minisat+_1.0-3.debian.tar.xz4.0 KiB2016-Dec-19 20:23
minisat+_1.0-3.dsc1.9 KiB2016-Dec-19 20:23
minisat+_1.0-3_amd64.deb154.7 KiB2016-Dec-19 20:58
minisat+_1.0-3_arm64.deb130.7 KiB2016-Dec-19 20:58
minisat+_1.0-3_armel.deb126.5 KiB2016-Dec-19 20:58
minisat+_1.0-3_armhf.deb130.2 KiB2016-Dec-19 20:58
minisat+_1.0-3_i386.deb156.3 KiB2016-Dec-19 20:58
minisat+_1.0-3_mips.deb138.6 KiB2016-Dec-19 20:58
minisat+_1.0-3_mips64el.deb144.4 KiB2016-Dec-19 20:58
minisat+_1.0-3_mipsel.deb141.1 KiB2016-Dec-19 20:58
minisat+_1.0-3_ppc64el.deb144.9 KiB2016-Dec-19 20:58
minisat+_1.0-3_s390x.deb143.2 KiB2016-Dec-19 20:58
minisat+_1.0.orig.tar.gz78.1 KiB2011-May-14 13:02