Index of /changelogs/pool/universe/m/minisat+

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat+_1.0-2/	2016-04-16 00:07	-
	minisat+_1.0-3/	2016-12-19 23:33	-
	minisat+_1.0-4/	2017-04-30 00:46	-
	minisat+_1.0-4build1/	2020-03-22 17:40	-