Index of /debian-archive/debian/pool/main/m/minisat2/

Filename	Modification time	Size
minisat2_2.2.0-2.debian.tar.gz	2010-07-25 22:50 CEST	9783 B
minisat2_2.2.0-2.dsc	2010-07-25 22:50 CEST	1110 B
minisat2_2.2.0-2_amd64.deb	2010-07-25 22:50 CEST	107 KiB
minisat2_2.2.0-2_armel.deb	2010-07-27 10:38 CEST	103 KiB
minisat2_2.2.0-2_i386.deb	2010-07-26 08:52 CEST	106 KiB
minisat2_2.2.0-2_ia64.deb	2010-07-26 04:56 CEST	160 KiB
minisat2_2.2.0-2_kfreebsd-amd64.deb	2010-07-29 22:58 CEST	106 KiB
minisat2_2.2.0-2_kfreebsd-i386.deb	2010-07-26 10:40 CEST	105 KiB
minisat2_2.2.0-2_mips.deb	2010-07-27 20:11 CEST	112 KiB
minisat2_2.2.0-2_mipsel.deb	2010-07-26 11:21 CEST	110 KiB
minisat2_2.2.0-2_powerpc.deb	2010-07-26 16:59 CEST	110 KiB
minisat2_2.2.0-2_s390.deb	2010-07-26 12:51 CEST	106 KiB
minisat2_2.2.0-2_sparc.deb	2010-07-26 10:40 CEST	107 KiB
minisat2_2.2.0.orig.tar.gz	2010-07-25 09:02 CEST	43 KiB
minisat2_2.2.1-3.debian.tar.gz	2011-09-04 01:34 CEST	8611 B
minisat2_2.2.1-3.dsc	2011-09-04 01:34 CEST	1135 B
minisat2_2.2.1-3_amd64.deb	2011-09-04 02:03 CEST	5028 B
minisat2_2.2.1-3_armel.deb	2011-09-04 03:33 CEST	5032 B
minisat2_2.2.1-3_armhf.deb	2011-11-28 01:01 CET	5046 B
minisat2_2.2.1-3_i386.deb	2011-09-04 01:34 CEST	5032 B
minisat2_2.2.1-3_ia64.deb	2011-09-04 02:47 CEST	5032 B
minisat2_2.2.1-3_kfreebsd-amd64.deb	2011-09-04 02:17 CEST	5038 B
minisat2_2.2.1-3_kfreebsd-i386.deb	2011-09-04 02:32 CEST	5034 B
minisat2_2.2.1-3_mips.deb	2011-09-04 02:18 CEST	5030 B
minisat2_2.2.1-3_mipsel.deb	2011-09-04 02:32 CEST	5026 B
minisat2_2.2.1-3_powerpc.deb	2011-09-04 02:32 CEST	5036 B
minisat2_2.2.1-3_s390.deb	2011-09-04 02:03 CEST	5034 B
minisat2_2.2.1-3_s390x.deb	2011-11-27 00:45 CET	5038 B
minisat2_2.2.1-3_sparc.deb	2011-09-04 03:04 CEST	5040 B
minisat2_2.2.1-5+b1_s390x.deb	2014-08-27 02:00 CEST	5320 B
minisat2_2.2.1-5+b3_amd64.deb	2017-03-07 12:27 CET	5258 B
minisat2_2.2.1-5+b3_arm64.deb	2017-03-07 12:11 CET	5250 B
minisat2_2.2.1-5+b3_armel.deb	2017-03-07 13:13 CET	5244 B
minisat2_2.2.1-5+b3_armhf.deb	2017-03-07 12:57 CET	5254 B
minisat2_2.2.1-5+b3_i386.deb	2017-03-07 12:27 CET	5258 B
minisat2_2.2.1-5+b3_mips.deb	2017-03-07 12:27 CET	5244 B
minisat2_2.2.1-5+b3_mips64el.deb	2017-03-07 13:13 CET	5260 B
minisat2_2.2.1-5+b3_mipsel.deb	2017-03-07 13:44 CET	5252 B
minisat2_2.2.1-5+b3_ppc64el.deb	2017-03-07 12:27 CET	5264 B
minisat2_2.2.1-5+b3_s390x.deb	2017-03-07 12:27 CET	5246 B
minisat2_2.2.1-5.debian.tar.xz	2014-07-30 12:01 CEST	9348 B
minisat2_2.2.1-5.dsc	2014-07-30 12:01 CEST	1893 B
minisat2_2.2.1-5_amd64.deb	2014-07-30 12:27 CEST	5038 B
minisat2_2.2.1-5_arm64.deb	2014-08-18 11:43 CEST	5038 B
minisat2_2.2.1-5_armel.deb	2014-07-30 13:12 CEST	5038 B
minisat2_2.2.1-5_armhf.deb	2014-07-30 12:27 CEST	5034 B
minisat2_2.2.1-5_i386.deb	2014-07-30 12:01 CEST	5022 B
minisat2_2.2.1-5_kfreebsd-amd64.deb	2014-07-30 12:32 CEST	5038 B
minisat2_2.2.1-5_kfreebsd-i386.deb	2014-07-30 12:32 CEST	5050 B
minisat2_2.2.1-5_mips.deb	2014-07-30 13:57 CEST	5038 B
minisat2_2.2.1-5_mipsel.deb	2014-07-30 13:12 CEST	5054 B
minisat2_2.2.1-5_powerpc.deb	2014-07-30 12:27 CEST	5052 B
minisat2_2.2.1-5_ppc64el.deb	2014-08-20 10:46 CEST	5038 B
minisat2_2.2.1.orig.tar.gz	2011-03-29 16:07 CEST	43 KiB
minisat2_070721-5.diff.gz	2008-09-07 21:17 CEST	7289 B
minisat2_070721-5.dsc	2008-09-07 21:17 CEST	964 B
minisat2_070721-5_alpha.deb	2008-09-10 21:02 CEST	40 KiB
minisat2_070721-5_amd64.deb	2008-09-08 08:32 CEST	42 KiB
minisat2_070721-5_arm.deb	2008-09-09 23:17 CEST	42 KiB
minisat2_070721-5_armel.deb	2008-09-08 14:02 CEST	41 KiB
minisat2_070721-5_hppa.deb	2008-09-09 08:02 CEST	45 KiB
minisat2_070721-5_i386.deb	2008-09-10 20:47 CEST	40 KiB
minisat2_070721-5_ia64.deb	2008-09-08 09:17 CEST	65 KiB
minisat2_070721-5_mips.deb	2008-09-10 23:17 CEST	42 KiB
minisat2_070721-5_mipsel.deb	2008-09-10 20:32 CEST	43 KiB
minisat2_070721-5_powerpc.deb	2008-09-10 20:47 CEST	43 KiB
minisat2_070721-5_s390.deb	2008-09-07 21:17 CEST	41 KiB
minisat2_070721-5_sparc.deb	2008-09-10 09:47 CEST	38 KiB
minisat2_070721.orig.tar.gz	2008-06-08 11:02 CEST	31 KiB
minisat_2.2.1-3_amd64.deb	2011-09-04 02:03 CEST	127 KiB
minisat_2.2.1-3_armel.deb	2011-09-04 03:33 CEST	125 KiB
minisat_2.2.1-3_armhf.deb	2011-11-28 01:01 CET	122 KiB
minisat_2.2.1-3_i386.deb	2011-09-04 01:34 CEST	126 KiB
minisat_2.2.1-3_ia64.deb	2011-09-04 02:47 CEST	182 KiB
minisat_2.2.1-3_kfreebsd-amd64.deb	2011-09-04 02:17 CEST	126 KiB
minisat_2.2.1-3_kfreebsd-i386.deb	2011-09-04 02:32 CEST	125 KiB
minisat_2.2.1-3_mips.deb	2011-09-04 02:18 CEST	132 KiB
minisat_2.2.1-3_mipsel.deb	2011-09-04 02:32 CEST	132 KiB
minisat_2.2.1-3_powerpc.deb	2011-09-04 02:32 CEST	131 KiB
minisat_2.2.1-3_s390.deb	2011-09-04 02:03 CEST	130 KiB
minisat_2.2.1-3_s390x.deb	2011-11-27 00:45 CET	143 KiB
minisat_2.2.1-3_sparc.deb	2011-09-04 03:04 CEST	125 KiB
minisat_2.2.1-5+b1_s390x.deb	2014-08-27 02:00 CEST	92 KiB
minisat_2.2.1-5+b3_amd64.deb	2017-03-07 12:27 CET	83 KiB
minisat_2.2.1-5+b3_arm64.deb	2017-03-07 12:11 CET	80 KiB
minisat_2.2.1-5+b3_armel.deb	2017-03-07 13:13 CET	77 KiB
minisat_2.2.1-5+b3_armhf.deb	2017-03-07 12:57 CET	76 KiB
minisat_2.2.1-5+b3_i386.deb	2017-03-07 12:27 CET	91 KiB
minisat_2.2.1-5+b3_mips.deb	2017-03-07 12:27 CET	88 KiB
minisat_2.2.1-5+b3_mips64el.deb	2017-03-07 13:13 CET	89 KiB
minisat_2.2.1-5+b3_mipsel.deb	2017-03-07 13:44 CET	89 KiB
minisat_2.2.1-5+b3_ppc64el.deb	2017-03-07 12:27 CET	86 KiB
minisat_2.2.1-5+b3_s390x.deb	2017-03-07 12:27 CET	81 KiB
minisat_2.2.1-5_amd64.deb	2014-07-30 12:27 CEST	84 KiB
minisat_2.2.1-5_arm64.deb	2014-08-18 11:43 CEST	82 KiB
minisat_2.2.1-5_armel.deb	2014-07-30 13:12 CEST	78 KiB
minisat_2.2.1-5_armhf.deb	2014-07-30 12:27 CEST	78 KiB
minisat_2.2.1-5_i386.deb	2014-07-30 12:01 CEST	96 KiB
minisat_2.2.1-5_kfreebsd-amd64.deb	2014-07-30 12:32 CEST	83 KiB
minisat_2.2.1-5_kfreebsd-i386.deb	2014-07-30 12:32 CEST	95 KiB
minisat_2.2.1-5_mips.deb	2014-07-30 13:57 CEST	85 KiB
minisat_2.2.1-5_mipsel.deb	2014-07-30 13:12 CEST	85 KiB
minisat_2.2.1-5_powerpc.deb	2014-07-30 12:27 CEST	88 KiB
minisat_2.2.1-5_ppc64el.deb	2014-08-20 10:46 CEST	86 KiB