Index of /pub/trisquel-archive/trisquel/pool/extras/m/minisat2

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat2_070721-6.diff.gz	2008-11-05 09:06	7.4K
	minisat2_070721-6.dsc	2008-11-05 09:06	964
	minisat2_070721.orig.tar.gz	2008-06-20 07:07	31K