Index of /pub/trisquel-archive/trisquel/pool/extras/p/picosat

	Name	Last modified	Size	Description
	Parent Directory		-
	picosat_846-1.diff.gz	2008-11-05 09:05	3.1K
	picosat_846-1.dsc	2008-11-05 09:05	962
	picosat_846.orig.tar.gz	2008-11-05 09:05	42K