Index of /pub/ubuntu-archive/ubuntu/pool/universe/m/minisat2

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat2_070721-3.diff.gz	2008-06-20 07:07	3.8K
	minisat2_070721-3.dsc	2008-06-20 07:07	961
	minisat2_070721-3_amd64.deb	2008-06-20 09:04	38K
	minisat2_070721-3_hppa.deb	2008-07-05 01:04	41K
	minisat2_070721-3_i386.deb	2008-06-20 08:04	36K
	minisat2_070721-3_ia64.deb	2008-06-20 10:04	62K
	minisat2_070721-3_lpia.deb	2008-06-20 07:08	38K
	minisat2_070721-3_powerpc.deb	2008-06-20 09:04	40K
	minisat2_070721-3_sparc.deb	2008-06-20 13:04	35K
	minisat2_070721-6.diff.gz	2008-11-05 09:06	7.4K
	minisat2_070721-6.dsc	2008-11-05 09:06	964
	minisat2_070721-6_amd64.deb	2008-11-07 01:05	42K
	minisat2_070721-6_armel.deb	2008-12-05 12:04	41K
	minisat2_070721-6_hppa.deb	2008-11-10 10:05	45K
	minisat2_070721-6_i386.deb	2008-11-06 15:05	41K
	minisat2_070721-6_ia64.deb	2008-11-09 09:04	66K
	minisat2_070721-6_lpia.deb	2008-11-06 01:08	42K
	minisat2_070721-6_powerpc.deb	2008-11-07 01:06	44K
	minisat2_070721-6_sparc.deb	2008-11-08 01:06	39K
	minisat2_070721-8.diff.gz	2010-01-18 03:05	8.1K
	minisat2_070721-8.dsc	2010-01-18 03:05	1.0K
	minisat2_070721-8_amd64.deb	2010-01-18 11:05	95K
	minisat2_070721-8_armel.deb	2010-01-18 08:05	92K
	minisat2_070721-8_i386.deb	2010-01-18 08:05	93K
	minisat2_070721-8_ia64.deb	2010-01-18 19:04	144K
	minisat2_070721-8_powerpc.deb	2010-01-18 10:14	101K
	minisat2_070721-8_sparc.deb	2010-01-18 18:05	93K
	minisat2_070721.orig.tar.gz	2008-06-20 07:07	31K
	minisat2_2.2.0-2.debian.tar.gz	2010-10-15 09:06	9.6K
	minisat2_2.2.0-2.dsc	2010-10-15 09:06	1.1K
	minisat2_2.2.0-2_amd64.deb	2010-10-17 04:05	105K
	minisat2_2.2.0-2_armel.deb	2010-10-17 02:07	95K
	minisat2_2.2.0-2_i386.deb	2010-10-17 06:05	103K
	minisat2_2.2.0-2_powerpc.deb	2010-10-23 12:05	107K
	minisat2_2.2.0.orig.tar.gz	2010-10-15 09:06	43K
	minisat2_2.2.1-2.debian.tar.gz	2011-06-14 07:05	8.2K
	minisat2_2.2.1-2.dsc	2011-06-14 07:05	1.1K
	minisat2_2.2.1-2_amd64.deb	2011-06-14 09:05	1.9K
	minisat2_2.2.1-2_armel.deb	2011-06-14 08:05	1.9K
	minisat2_2.2.1-2_i386.deb	2011-06-14 08:05	1.9K
	minisat2_2.2.1-2_powerpc.deb	2011-06-14 16:05	1.9K
	minisat2_2.2.1-3.debian.tar.gz	2011-10-17 09:05	8.4K
	minisat2_2.2.1-3.dsc	2011-10-17 09:05	1.1K
	minisat2_2.2.1-3_amd64.deb	2011-10-17 23:03	1.8K
	minisat2_2.2.1-3_armel.deb	2011-10-19 09:05	3.0K
	minisat2_2.2.1-3_armhf.deb	2011-12-07 08:04	1.9K
	minisat2_2.2.1-3_i386.deb	2011-10-17 22:05	1.8K
	minisat2_2.2.1-3_powerpc.deb	2011-10-22 12:03	3.0K
	minisat2_2.2.1-4.debian.tar.gz	2013-07-14 18:43	9.2K
	minisat2_2.2.1-4.dsc	2013-07-14 18:43	1.8K
	minisat2_2.2.1-4_amd64.deb	2013-07-14 18:58	1.9K
	minisat2_2.2.1-4_armhf.deb	2013-07-14 18:58	1.9K
	minisat2_2.2.1-4_i386.deb	2013-07-14 18:58	1.9K
	minisat2_2.2.1-4_powerpc.deb	2013-07-14 19:13	1.9K
	minisat2_2.2.1-5.debian.tar.xz	2014-07-30 13:44	9.1K
	minisat2_2.2.1-5.dsc	2014-07-30 13:44	1.8K
	minisat2_2.2.1-5_amd64.deb	2014-07-30 14:38	1.9K
	minisat2_2.2.1-5_arm64.deb	2014-07-30 14:39	1.9K
	minisat2_2.2.1-5_armhf.deb	2014-07-30 13:45	1.9K
	minisat2_2.2.1-5_i386.deb	2014-07-30 14:40	1.9K
	minisat2_2.2.1-5_powerpc.deb	2014-07-30 14:40	2.0K
	minisat2_2.2.1-5_ppc64el.deb	2014-07-30 14:41	2.0K
	minisat2_2.2.1-5_s390x.deb	2018-06-13 05:43	1.9K
	minisat2_2.2.1-5build1.debian.tar.xz	2018-04-05 04:01	9.3K
	minisat2_2.2.1-5build1.dsc	2018-04-05 04:01	1.9K
	minisat2_2.2.1-5build1_amd64.deb	2018-04-05 04:03	2.0K
	minisat2_2.2.1-5build1_arm64.deb	2018-04-05 04:04	2.0K
	minisat2_2.2.1-5build1_armhf.deb	2018-04-05 04:04	2.0K
	minisat2_2.2.1-5build1_i386.deb	2018-04-05 04:04	2.0K
	minisat2_2.2.1-5build1_ppc64el.deb	2018-04-05 04:04	2.0K
	minisat2_2.2.1-5build1_s390x.deb	2018-04-05 04:04	2.0K
	minisat2_2.2.1.orig.tar.gz	2011-04-30 13:05	43K
	minisat_2.2.1-2_amd64.deb	2011-06-14 09:05	123K
	minisat_2.2.1-2_armel.deb	2011-06-14 08:05	114K
	minisat_2.2.1-2_i386.deb	2011-06-14 08:05	123K
	minisat_2.2.1-2_powerpc.deb	2011-06-14 16:05	128K
	minisat_2.2.1-3_amd64.deb	2011-10-17 23:03	124K
	minisat_2.2.1-3_armel.deb	2011-10-19 09:05	115K
	minisat_2.2.1-3_armhf.deb	2011-12-07 08:04	115K
	minisat_2.2.1-3_i386.deb	2011-10-17 22:05	124K
	minisat_2.2.1-3_powerpc.deb	2011-10-22 12:03	129K
	minisat_2.2.1-4_amd64.deb	2013-07-14 18:58	128K
	minisat_2.2.1-4_armhf.deb	2013-07-14 18:58	119K
	minisat_2.2.1-4_i386.deb	2013-07-14 18:58	124K
	minisat_2.2.1-4_powerpc.deb	2013-07-14 19:13	133K
	minisat_2.2.1-5_amd64.deb	2014-07-30 14:38	81K
	minisat_2.2.1-5_arm64.deb	2014-07-30 14:39	80K
	minisat_2.2.1-5_armhf.deb	2014-07-30 13:45	76K
	minisat_2.2.1-5_i386.deb	2014-07-30 14:40	95K
	minisat_2.2.1-5_powerpc.deb	2014-07-30 14:40	86K
	minisat_2.2.1-5_ppc64el.deb	2014-07-30 14:41	92K
	minisat_2.2.1-5_s390x.deb	2018-06-13 05:43	78K
	minisat_2.2.1-5build1_amd64.deb	2018-04-05 04:03	80K
	minisat_2.2.1-5build1_arm64.deb	2018-04-05 04:04	78K
	minisat_2.2.1-5build1_armhf.deb	2018-04-05 04:04	73K
	minisat_2.2.1-5build1_i386.deb	2018-04-05 04:04	89K
	minisat_2.2.1-5build1_ppc64el.deb	2018-04-05 04:04	99K
	minisat_2.2.1-5build1_s390x.deb	2018-04-05 04:04	77K