注册用户享1倍加速下载立即注册

/mirrors_os/debian-archive/debian/pool/main/m/minisat+/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat+_1.0-2.debian.tar.gz	3.9 KiB	2011-May-25 09:50
minisat+_1.0-2.dsc	1.2 KiB	2011-May-25 09:50
minisat+_1.0-2_amd64.deb	176.0 KiB	2011-May-25 09:50
minisat+_1.0-2_arm64.deb	131.5 KiB	2014-Aug-18 17:43
minisat+_1.0-2_armel.deb	155.2 KiB	2011-May-25 15:14
minisat+_1.0-2_armhf.deb	141.9 KiB	2011-Nov-28 08:21
minisat+_1.0-2_i386.deb	170.0 KiB	2011-May-25 15:49
minisat+_1.0-2_ia64.deb	274.4 KiB	2011-May-28 01:25
minisat+_1.0-2_kfreebsd-amd64.deb	176.1 KiB	2011-May-25 21:34
minisat+_1.0-2_kfreebsd-i386.deb	169.8 KiB	2011-May-25 21:49
minisat+_1.0-2_mips.deb	164.7 KiB	2011-May-25 15:16
minisat+_1.0-2_mipsel.deb	166.2 KiB	2011-May-28 05:10
minisat+_1.0-2_powerpc.deb	169.3 KiB	2011-May-25 15:20
minisat+_1.0-2_ppc64el.deb	143.2 KiB	2014-Aug-20 16:41
minisat+_1.0-2_s390.deb	167.2 KiB	2011-May-25 17:26
minisat+_1.0-2_s390x.deb	178.0 KiB	2011-Nov-27 07:45
minisat+_1.0-2_sparc.deb	150.3 KiB	2011-May-25 23:11
minisat+_1.0-3.debian.tar.xz	4.0 KiB	2016-Dec-20 03:23
minisat+_1.0-3.dsc	1.9 KiB	2016-Dec-20 03:23
minisat+_1.0-3_amd64.deb	154.7 KiB	2016-Dec-20 03:58
minisat+_1.0-3_arm64.deb	130.7 KiB	2016-Dec-20 03:58
minisat+_1.0-3_armel.deb	126.5 KiB	2016-Dec-20 03:58
minisat+_1.0-3_armhf.deb	130.2 KiB	2016-Dec-20 03:58
minisat+_1.0-3_i386.deb	156.3 KiB	2016-Dec-20 03:58
minisat+_1.0-3_mips.deb	138.6 KiB	2016-Dec-20 03:58
minisat+_1.0-3_mips64el.deb	144.4 KiB	2016-Dec-20 03:58
minisat+_1.0-3_mipsel.deb	141.1 KiB	2016-Dec-20 03:58
minisat+_1.0-3_ppc64el.deb	144.9 KiB	2016-Dec-20 03:58
minisat+_1.0-3_s390x.deb	143.2 KiB	2016-Dec-20 03:58
minisat+_1.0-4.debian.tar.xz	4.1 KiB	2017-Feb-23 04:22
minisat+_1.0-4.dsc	1.9 KiB	2017-Feb-23 04:22
minisat+_1.0-4_amd64.deb	154.7 KiB	2017-Feb-23 05:12
minisat+_1.0-4_arm64.deb	130.8 KiB	2017-Feb-23 05:12
minisat+_1.0-4_armel.deb	126.9 KiB	2017-Feb-23 05:12
minisat+_1.0-4_armhf.deb	130.6 KiB	2017-Feb-23 05:12
minisat+_1.0-4_i386.deb	156.3 KiB	2017-Feb-23 05:12
minisat+_1.0-4_mips.deb	138.7 KiB	2017-Feb-23 05:12
minisat+_1.0-4_mips64el.deb	144.4 KiB	2017-Feb-23 05:28
minisat+_1.0-4_mipsel.deb	141.3 KiB	2017-Feb-23 05:43
minisat+_1.0-4_ppc64el.deb	145.0 KiB	2017-Feb-23 05:12
minisat+_1.0-4_s390x.deb	143.3 KiB	2017-Feb-23 05:12
minisat+_1.0.orig.tar.gz	78.1 KiB	2011-May-14 20:02