Index of /canaima/pool/main/m/minisat+

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat+_1.0-4_amd64.deb	2023-03-18 15:47	155K
	minisat+_1.0-4_i386.deb	2023-03-23 12:11	156K