Index of /pool/universe/m/minisat2

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat2_070721-8.diff.gz	18-Jan-2010 03:05	8.1K
	minisat2_070721-8.dsc	18-Jan-2010 03:05	1.0K
	minisat2_070721-8_amd64.deb	18-Jan-2010 11:05	95K
	minisat2_070721-8_i386.deb	18-Jan-2010 08:05	93K
	minisat2_070721.orig.tar.gz	20-Jun-2008 07:07	31K
	minisat2_2.2.0-2.debian.tar.gz	15-Oct-2010 09:06	9.6K
	minisat2_2.2.0-2.dsc	15-Oct-2010 09:06	1.1K
	minisat2_2.2.0-2_amd64.deb	17-Oct-2010 04:05	105K
	minisat2_2.2.0-2_i386.deb	17-Oct-2010 06:05	103K
	minisat2_2.2.0.orig.tar.gz	15-Oct-2010 09:06	43K
	minisat2_2.2.1-2.debian.tar.gz	14-Jun-2011 07:05	8.2K
	minisat2_2.2.1-2.dsc	14-Jun-2011 07:05	1.1K
	minisat2_2.2.1-2_amd64.deb	14-Jun-2011 09:05	1.9K
	minisat2_2.2.1-2_i386.deb	14-Jun-2011 08:05	1.9K
	minisat2_2.2.1-3.debian.tar.gz	17-Oct-2011 09:05	8.4K
	minisat2_2.2.1-3.dsc	17-Oct-2011 09:05	1.1K
	minisat2_2.2.1-3_amd64.deb	17-Oct-2011 23:03	1.8K
	minisat2_2.2.1-3_i386.deb	17-Oct-2011 22:05	1.8K
	minisat2_2.2.1.orig.tar.gz	30-Apr-2011 13:05	43K
	minisat_2.2.1-2_amd64.deb	14-Jun-2011 09:05	123K
	minisat_2.2.1-2_i386.deb	14-Jun-2011 08:05	123K
	minisat_2.2.1-3_amd64.deb	17-Oct-2011 23:03	124K
	minisat_2.2.1-3_i386.deb	17-Oct-2011 22:05	124K