Index of /changelogs/main/m/minisat2

	Name	Last modified	Size
	Parent Directory		-
	minisat2_2.2.1-5_copyright	2009-12-29 12:29	1.6K
	minisat2_2.2.1-8_copyright	2009-12-29 12:29	1.6K
	oldoldoldstable_copyright	2009-12-29 12:29	1.6K
	oldoldstable_copyright	2009-12-29 12:29	1.6K
	oldstable-kfreebsd_copyright	2009-12-29 12:29	1.6K
	oldstable_copyright	2009-12-29 12:29	1.6K
	stable-kfreebsd_copyright	2009-12-29 12:29	1.6K
	stable_copyright	2009-12-29 12:29	1.6K
	testing-kfreebsd_copyright	2009-12-29 12:29	1.6K
	testing_copyright	2009-12-29 12:29	1.6K
	unstable_copyright	2009-12-29 12:29	1.6K
	minisat2_2.2.1-5_changelog	2014-07-30 09:54	3.6K
	oldoldoldstable_changelog	2014-07-30 09:54	3.6K
	oldoldstable_changelog	2014-07-30 09:54	3.6K
	oldstable-kfreebsd_changelog	2014-07-30 09:54	3.6K
	oldstable_changelog	2014-07-30 09:54	3.6K
	stable-kfreebsd_changelog	2014-07-30 09:54	3.6K
	stable_changelog	2014-07-30 09:54	3.6K
	testing-kfreebsd_changelog	2014-07-30 09:54	3.6K
	minisat2_2.2.1-8_changelog	2024-02-26 16:47	4.4K
	testing_changelog	2024-02-26 16:47	4.4K
	unstable_changelog	2024-02-26 16:47	4.4K