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

/mirrors_os/debian-archive/debian/pool/main/m/minisat2/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat2_070721-5.diff.gz	7.1 KiB	2008-Sep-08 03:17
minisat2_070721-5.dsc	964 B	2008-Sep-08 03:17
minisat2_070721-5_alpha.deb	40.3 KiB	2008-Sep-11 03:02
minisat2_070721-5_amd64.deb	41.8 KiB	2008-Sep-08 14:32
minisat2_070721-5_arm.deb	41.7 KiB	2008-Sep-10 05:17
minisat2_070721-5_armel.deb	41.0 KiB	2008-Sep-08 20:02
minisat2_070721-5_hppa.deb	44.5 KiB	2008-Sep-09 14:02
minisat2_070721-5_i386.deb	39.6 KiB	2008-Sep-11 02:47
minisat2_070721-5_ia64.deb	65.0 KiB	2008-Sep-08 15:17
minisat2_070721-5_mips.deb	42.5 KiB	2008-Sep-11 05:17
minisat2_070721-5_mipsel.deb	42.5 KiB	2008-Sep-11 02:32
minisat2_070721-5_powerpc.deb	43.3 KiB	2008-Sep-11 02:47
minisat2_070721-5_s390.deb	41.0 KiB	2008-Sep-08 03:17
minisat2_070721-5_sparc.deb	38.2 KiB	2008-Sep-10 15:47
minisat2_070721.orig.tar.gz	31.2 KiB	2008-Jun-08 17:02
minisat2_2.2.0-2.debian.tar.gz	9.6 KiB	2010-Jul-26 04:50
minisat2_2.2.0-2.dsc	1.1 KiB	2010-Jul-26 04:50
minisat2_2.2.0-2_amd64.deb	107.3 KiB	2010-Jul-26 04:50
minisat2_2.2.0-2_armel.deb	102.6 KiB	2010-Jul-27 16:38
minisat2_2.2.0-2_i386.deb	105.8 KiB	2010-Jul-26 14:52
minisat2_2.2.0-2_ia64.deb	159.9 KiB	2010-Jul-26 10:56
minisat2_2.2.0-2_kfreebsd-amd64.deb	105.6 KiB	2010-Jul-30 04:58
minisat2_2.2.0-2_kfreebsd-i386.deb	105.0 KiB	2010-Jul-26 16:40
minisat2_2.2.0-2_mips.deb	111.8 KiB	2010-Jul-28 02:11
minisat2_2.2.0-2_mipsel.deb	110.5 KiB	2010-Jul-26 17:21
minisat2_2.2.0-2_powerpc.deb	110.1 KiB	2010-Jul-26 22:59
minisat2_2.2.0-2_s390.deb	106.5 KiB	2010-Jul-26 18:51
minisat2_2.2.0-2_sparc.deb	106.7 KiB	2010-Jul-26 16:40
minisat2_2.2.0.orig.tar.gz	42.8 KiB	2010-Jul-25 15:02
minisat2_2.2.1-3.debian.tar.gz	8.4 KiB	2011-Sep-04 07:34
minisat2_2.2.1-3.dsc	1.1 KiB	2011-Sep-04 07:34
minisat2_2.2.1-3_amd64.deb	4.9 KiB	2011-Sep-04 08:03
minisat2_2.2.1-3_armel.deb	4.9 KiB	2011-Sep-04 09:33
minisat2_2.2.1-3_armhf.deb	4.9 KiB	2011-Nov-28 08:01
minisat2_2.2.1-3_i386.deb	4.9 KiB	2011-Sep-04 07:34
minisat2_2.2.1-3_ia64.deb	4.9 KiB	2011-Sep-04 08:47
minisat2_2.2.1-3_kfreebsd-amd64.deb	4.9 KiB	2011-Sep-04 08:17
minisat2_2.2.1-3_kfreebsd-i386.deb	4.9 KiB	2011-Sep-04 08:32
minisat2_2.2.1-3_mips.deb	4.9 KiB	2011-Sep-04 08:18
minisat2_2.2.1-3_mipsel.deb	4.9 KiB	2011-Sep-04 08:32
minisat2_2.2.1-3_powerpc.deb	4.9 KiB	2011-Sep-04 08:32
minisat2_2.2.1-3_s390.deb	4.9 KiB	2011-Sep-04 08:03
minisat2_2.2.1-3_s390x.deb	4.9 KiB	2011-Nov-27 07:45
minisat2_2.2.1-3_sparc.deb	4.9 KiB	2011-Sep-04 09:04
minisat2_2.2.1-5+b1_s390x.deb	5.2 KiB	2014-Aug-27 08:00
minisat2_2.2.1-5+b3_amd64.deb	5.1 KiB	2017-Mar-07 19:27
minisat2_2.2.1-5+b3_arm64.deb	5.1 KiB	2017-Mar-07 19:11
minisat2_2.2.1-5+b3_armel.deb	5.1 KiB	2017-Mar-07 20:13
minisat2_2.2.1-5+b3_armhf.deb	5.1 KiB	2017-Mar-07 19:57
minisat2_2.2.1-5+b3_i386.deb	5.1 KiB	2017-Mar-07 19:27
minisat2_2.2.1-5+b3_mips.deb	5.1 KiB	2017-Mar-07 19:27
minisat2_2.2.1-5+b3_mips64el.deb	5.1 KiB	2017-Mar-07 20:13
minisat2_2.2.1-5+b3_mipsel.deb	5.1 KiB	2017-Mar-07 20:44
minisat2_2.2.1-5+b3_ppc64el.deb	5.1 KiB	2017-Mar-07 19:27
minisat2_2.2.1-5+b3_s390x.deb	5.1 KiB	2017-Mar-07 19:27
minisat2_2.2.1-5.debian.tar.xz	9.1 KiB	2014-Jul-30 18:01
minisat2_2.2.1-5.dsc	1.8 KiB	2014-Jul-30 18:01
minisat2_2.2.1-5_amd64.deb	4.9 KiB	2014-Jul-30 18:27
minisat2_2.2.1-5_arm64.deb	4.9 KiB	2014-Aug-18 17:43
minisat2_2.2.1-5_armel.deb	4.9 KiB	2014-Jul-30 19:12
minisat2_2.2.1-5_armhf.deb	4.9 KiB	2014-Jul-30 18:27
minisat2_2.2.1-5_i386.deb	4.9 KiB	2014-Jul-30 18:01
minisat2_2.2.1-5_kfreebsd-amd64.deb	4.9 KiB	2014-Jul-30 18:32
minisat2_2.2.1-5_kfreebsd-i386.deb	4.9 KiB	2014-Jul-30 18:32
minisat2_2.2.1-5_mips.deb	4.9 KiB	2014-Jul-30 19:57
minisat2_2.2.1-5_mipsel.deb	4.9 KiB	2014-Jul-30 19:12
minisat2_2.2.1-5_powerpc.deb	4.9 KiB	2014-Jul-30 18:27
minisat2_2.2.1-5_ppc64el.deb	4.9 KiB	2014-Aug-20 16:46
minisat2_2.2.1.orig.tar.gz	43.2 KiB	2011-Mar-29 22:07
minisat_2.2.1-3_amd64.deb	127.4 KiB	2011-Sep-04 08:03
minisat_2.2.1-3_armel.deb	125.1 KiB	2011-Sep-04 09:33
minisat_2.2.1-3_armhf.deb	122.0 KiB	2011-Nov-28 08:01
minisat_2.2.1-3_i386.deb	126.1 KiB	2011-Sep-04 07:34
minisat_2.2.1-3_ia64.deb	182.0 KiB	2011-Sep-04 08:47
minisat_2.2.1-3_kfreebsd-amd64.deb	125.7 KiB	2011-Sep-04 08:17
minisat_2.2.1-3_kfreebsd-i386.deb	125.0 KiB	2011-Sep-04 08:32
minisat_2.2.1-3_mips.deb	132.1 KiB	2011-Sep-04 08:18
minisat_2.2.1-3_mipsel.deb	131.9 KiB	2011-Sep-04 08:32
minisat_2.2.1-3_powerpc.deb	131.1 KiB	2011-Sep-04 08:32
minisat_2.2.1-3_s390.deb	129.9 KiB	2011-Sep-04 08:03
minisat_2.2.1-3_s390x.deb	143.3 KiB	2011-Nov-27 07:45
minisat_2.2.1-3_sparc.deb	125.5 KiB	2011-Sep-04 09:04
minisat_2.2.1-5+b1_s390x.deb	91.5 KiB	2014-Aug-27 08:00
minisat_2.2.1-5+b3_amd64.deb	82.9 KiB	2017-Mar-07 19:27
minisat_2.2.1-5+b3_arm64.deb	80.0 KiB	2017-Mar-07 19:11
minisat_2.2.1-5+b3_armel.deb	77.3 KiB	2017-Mar-07 20:13
minisat_2.2.1-5+b3_armhf.deb	76.0 KiB	2017-Mar-07 19:57
minisat_2.2.1-5+b3_i386.deb	91.2 KiB	2017-Mar-07 19:27
minisat_2.2.1-5+b3_mips.deb	88.3 KiB	2017-Mar-07 19:27
minisat_2.2.1-5+b3_mips64el.deb	88.8 KiB	2017-Mar-07 20:13
minisat_2.2.1-5+b3_mipsel.deb	89.0 KiB	2017-Mar-07 20:44
minisat_2.2.1-5+b3_ppc64el.deb	86.4 KiB	2017-Mar-07 19:27
minisat_2.2.1-5+b3_s390x.deb	81.3 KiB	2017-Mar-07 19:27
minisat_2.2.1-5_amd64.deb	83.6 KiB	2014-Jul-30 18:27
minisat_2.2.1-5_arm64.deb	81.9 KiB	2014-Aug-18 17:43
minisat_2.2.1-5_armel.deb	77.8 KiB	2014-Jul-30 19:12
minisat_2.2.1-5_armhf.deb	78.1 KiB	2014-Jul-30 18:27
minisat_2.2.1-5_i386.deb	96.3 KiB	2014-Jul-30 18:01
minisat_2.2.1-5_kfreebsd-amd64.deb	82.5 KiB	2014-Jul-30 18:32
minisat_2.2.1-5_kfreebsd-i386.deb	95.4 KiB	2014-Jul-30 18:32
minisat_2.2.1-5_mips.deb	84.9 KiB	2014-Jul-30 19:57
minisat_2.2.1-5_mipsel.deb	84.8 KiB	2014-Jul-30 19:12
minisat_2.2.1-5_powerpc.deb	87.6 KiB	2014-Jul-30 18:27
minisat_2.2.1-5_ppc64el.deb	86.1 KiB	2014-Aug-20 16:46