Index of /livecdroom/source/lxubuntu/universe/m/minisat2

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat2_070721-8.diff.gz	2012-01-27 09:09	8.1K
	minisat2_070721-8.dsc	2012-01-27 09:09	1.0K
	minisat2_070721.orig.tar.gz	2012-01-27 09:09	31K
	minisat2_2.2.0-2.debian.tar.gz	2012-01-27 09:09	9.6K
	minisat2_2.2.0-2.dsc	2012-01-27 09:09	1.1K
	minisat2_2.2.0.orig.tar.gz	2012-01-27 09:09	43K
	minisat2_2.2.1-2.debian.tar.gz	2012-01-27 09:09	8.2K
	minisat2_2.2.1-2.dsc	2012-01-27 09:09	1.1K
	minisat2_2.2.1-3.debian.tar.gz	2012-01-27 09:09	8.4K
	minisat2_2.2.1-3.dsc	2012-01-27 09:09	1.1K
	minisat2_2.2.1-4.debian.tar.gz	2015-07-23 07:26	9.2K
	minisat2_2.2.1-4.dsc	2017-08-06 08:14	1.8K
	minisat2_2.2.1-5.debian.tar.xz	2015-07-23 07:26	9.1K
	minisat2_2.2.1-5.dsc	2017-08-06 08:14	1.8K
	minisat2_2.2.1-5build1.debian.tar.xz	2018-05-30 21:17	9.3K
	minisat2_2.2.1-5build1.dsc	2018-05-30 21:17	1.9K
	minisat2_2.2.1-5build2.debian.tar.xz	2020-05-28 13:10	9.3K
	minisat2_2.2.1-5build2.dsc	2020-05-28 13:10	1.9K
	minisat2_2.2.1-8build1.debian.tar.xz	2024-05-16 22:11	9.7K
	minisat2_2.2.1-8build1.dsc	2024-05-16 22:11	1.8K
	minisat2_2.2.1.orig.tar.gz	2012-01-27 09:09	43K