Index of /ubuntu/pool/universe/m/minisat2

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