Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/m/minisat+

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat+_1.0-2.debian.tar.gz	2011-11-12 01:20	3.9K
	minisat+_1.0-2.dsc	2011-11-12 01:20	1.2K
	minisat+_1.0-2_armhf.deb	2011-12-07 05:04	141K
	minisat+_1.0.orig.tar.gz	2011-11-12 01:20	78K