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

	Name	Last modified	Size	Description
	Parent Directory		-
	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_i386.deb	2008-11-06 20:05	41K
	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_i386.deb	2010-01-18 13: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_i386.deb	2010-10-17 10:05	103K
	minisat2_2.2.0.orig.tar.gz	2010-10-15 13:06	43K
	minisat2_2.2.1-1.debian.tar.gz	2011-04-30 17:05	8.1K
	minisat2_2.2.1-1.dsc	2011-04-30 17:05	1.1K
	minisat2_2.2.1-1_amd64.deb	2011-05-03 06:06	3.1K
	minisat2_2.2.1-1_i386.deb	2011-05-03 06:08	3.1K
	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_i386.deb	2011-06-14 12: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_i386.deb	2011-10-18 02:05	1.8K
	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_arm64.deb	2013-10-20 06:28	1.9K
	minisat2_2.2.1-4_i386.deb	2013-07-14 22:58	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_i386.deb	2014-07-30 18:40	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_i386.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_riscv64.deb	2020-04-03 10:14	2.0K
	minisat2_2.2.1-8build1.debian.tar.xz	2024-04-01 08:00	9.7K
	minisat2_2.2.1-8build1.dsc	2024-04-01 08:00	1.8K
	minisat2_2.2.1.orig.tar.gz	2011-04-30 17:05	43K
	minisat_2.2.1-1_amd64.deb	2011-05-03 06:06	121K
	minisat_2.2.1-1_i386.deb	2011-05-03 06:08	121K
	minisat_2.2.1-2_amd64.deb	2011-06-14 13:05	123K
	minisat_2.2.1-2_i386.deb	2011-06-14 12:05	123K
	minisat_2.2.1-3_amd64.deb	2011-10-18 03:03	124K
	minisat_2.2.1-3_i386.deb	2011-10-18 02:05	124K
	minisat_2.2.1-4_amd64.deb	2013-07-14 22:58	128K
	minisat_2.2.1-4_arm64.deb	2013-10-20 06:28	126K
	minisat_2.2.1-4_i386.deb	2013-07-14 22:58	124K
	minisat_2.2.1-5_amd64.deb	2014-07-30 18:38	81K
	minisat_2.2.1-5_i386.deb	2014-07-30 18:40	95K
	minisat_2.2.1-5build1_amd64.deb	2018-04-05 08:03	80K
	minisat_2.2.1-5build1_i386.deb	2018-04-05 08:04	89K
	minisat_2.2.1-5build2_amd64.deb	2020-03-22 18:00	80K
	minisat_2.2.1-5build2_riscv64.deb	2020-04-03 10:14	145K
	minisat_2.2.1-8build1_amd64.deb	2024-04-01 10:33	86K