Index of /es.archive.ubuntu.com/ubuntu/pool/universe/m/minisat+

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat+_1.0-4_i386.deb	2017-04-30 03:29	146K
	minisat+_1.0-4_amd64.deb	2017-04-30 03:25	155K