Index of /changelogs/main/m/minisat+

	Name	Last modified	Size
	Parent Directory		-
	minisat+_1.0-2_changelog	2011-05-24 18:59	322
	minisat+_1.0-2_copyright	2011-05-24 18:59	1.3K
	minisat+_1.0-4_changelog	2017-02-19 16:03	920
	minisat+_1.0-4_copyright	2017-02-19 16:03	1.3K
	minisat+_1.0-5_changelog	2024-09-26 12:38	1.5K
	minisat+_1.0-5_copyright	2024-09-26 12:15	1.3K
	oldoldoldstable_changelog	2011-05-24 18:59	322
	oldoldoldstable_copyright	2011-05-24 18:59	1.3K
	oldoldstable_changelog	2017-02-19 16:03	920
	oldoldstable_copyright	2017-02-19 16:03	1.3K
	oldstable-kfreebsd_changelog	2011-05-24 18:59	322
	oldstable-kfreebsd_copyright	2011-05-24 18:59	1.3K
	oldstable_changelog	2017-02-19 16:03	920
	oldstable_copyright	2017-02-19 16:03	1.3K
	stable-kfreebsd_changelog	2011-05-24 18:59	322
	stable-kfreebsd_copyright	2011-05-24 18:59	1.3K
	stable_changelog	2017-02-19 16:03	920
	stable_copyright	2017-02-19 16:03	1.3K
	testing-kfreebsd_changelog	2011-05-24 18:59	322
	testing-kfreebsd_copyright	2011-05-24 18:59	1.3K
	testing_changelog	2024-09-26 12:38	1.5K
	testing_copyright	2024-09-26 12:15	1.3K
	unstable_changelog	2024-09-26 12:38	1.5K
	unstable_copyright	2024-09-26 12:15	1.3K