Index of /repo/Ubuntu/ubuntu/pool/universe/m/minisat+

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat+_1.0-4build1..>	2020-03-22 22:20	139K
	minisat+_1.0-4_amd64..>	2017-04-30 05:55	155K
	minisat+_1.0-2_amd64..>	2011-11-12 15:42	176K