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

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