Index of /debian/pool/main/p/picosat

	Name	Last modified	Size	Description
	Parent Directory		-
	picosat_960.orig.tar.gz	2014-11-08 13:22	62K
	picosat_960-1_amd64.deb	2014-11-08 14:28	120K
	picosat_960-1.dsc	2014-11-08 13:22	1.7K
	picosat_960-1.debian.tar.xz	2014-11-08 13:22	6.0K
	picosat_936.orig.tar.gz	2010-08-16 09:17	51K
	picosat_936-4_amd64.deb	2012-03-03 19:06	292K
	picosat_936-4.dsc	2012-03-03 18:23	1.0K
	picosat_936-4.debian.tar.gz	2012-03-03 18:23	5.8K
	picosat_913.orig.tar.gz	2009-11-02 16:52	44K
	picosat_913-4_i386.deb	2010-04-04 12:52	137K
	picosat_913-4_amd64.deb	2010-04-04 05:05	156K
	picosat_913-4.dsc	2010-04-04 05:05	1.0K
	picosat_913-4.debian.tar.gz	2010-04-04 05:05	5.2K