Index of /ubuntu/pool/universe/p/picosat

	Name	Last modified	Size
	Parent Directory		-
	picosat_936.orig.tar.gz	2010-10-15 15:09	51K
	picosat_936-3.debian.tar.gz	2011-10-17 15:04	5.3K
	picosat_936-3.dsc	2011-10-17 15:04	1.0K
	picosat_936-3_i386.deb	2011-10-18 06:05	226K
	picosat_936-3_amd64.deb	2011-10-18 08:05	251K
	picosat_954-1.debian.tar.gz	2012-12-21 05:33	6.4K
	picosat_954-1.dsc	2012-12-21 05:33	1.0K
	picosat_954.orig.tar.gz	2012-12-21 05:33	62K
	picosat_954-1_amd64.deb	2012-12-21 05:33	335K
	picosat_954-1_i386.deb	2012-12-21 05:33	325K
	picosat_960-1.debian.tar.xz	2014-11-08 23:13	6.0K
	picosat_960-1.dsc	2014-11-08 23:13	1.7K
	picosat_960.orig.tar.gz	2014-11-08 23:13	62K
	picosat_960-1_amd64.deb	2014-11-08 23:23	119K
	picosat_960-1_i386.deb	2014-11-08 23:23	144K
	picosat_960-1build1.debian.tar.xz	2018-04-05 10:22	6.1K
	picosat_960-1build1.dsc	2018-04-05 10:22	1.8K
	picosat_960-1build1_amd64.deb	2018-04-05 10:23	112K
	picosat_960-1build1_i386.deb	2018-04-05 10:25	119K
	picosat_965-1.debian.tar.xz	2019-08-20 18:23	5.8K
	picosat_965-1.dsc	2019-08-20 18:23	1.9K
	picosat_965.orig.tar.gz	2019-08-20 18:23	63K
	picosat_965-1_amd64.deb	2019-08-20 18:23	91K
	picosat_965-1_i386.deb	2019-08-20 18:24	94K