Index of /pub/trisquel-archive/trisquel/pool/main/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
	picosat_913-1.diff.gz	2009-11-23 14:07	3.3K
	picosat_913-1.dsc	2009-11-23 14:07	963
	picosat_913-4.debian.tar.gz	2010-05-09 12:05	5.2K
	picosat_913-4.dsc	2010-05-09 12:05	1.0K
	picosat_913.orig.tar.gz	2009-11-23 14:07	44K
	picosat_936-1.debian.tar.gz	2010-10-15 10:09	5.3K
	picosat_936-1.dsc	2010-10-15 10:09	1.0K
	picosat_936-2.debian.tar.gz	2011-04-30 14:06	5.2K
	picosat_936-2.dsc	2011-04-30 14:06	1.0K
	picosat_936-3.debian.tar.gz	2011-10-17 10:04	5.3K
	picosat_936-3.dsc	2011-10-17 10:04	1.0K
	picosat_936.orig.tar.gz	2010-10-15 10:09	51K
	picosat_954-1.debian.tar.gz	2012-12-21 00:33	6.4K
	picosat_954-1.dsc	2012-12-21 00:33	1.0K
	picosat_954-1_amd64.deb	2012-12-21 00:33	335K
	picosat_954-1_i386.deb	2012-12-21 00:33	325K
	picosat_954.orig.tar.gz	2012-12-21 00:33	62K