Listing Directory: ubuntu.ucr.ac.cr/ubuntu/pool/universe/p/picosat/

	Name	Last modified	Size
	Parent Directory		-
	picosat_954-1.debian.tar.gz	2012-12-20 23:33	6.4K
	picosat_954-1.dsc	2012-12-20 23:33	1.0K
	picosat_954-1_amd64.deb	2012-12-20 23:33	335K
	picosat_954-1_i386.deb	2012-12-20 23:33	325K
	picosat_954.orig.tar.gz	2012-12-20 23:33	62K
	picosat_960-1.debian.tar.xz	2014-11-08 17:13	6.0K
	picosat_960-1.dsc	2014-11-08 17:13	1.7K
	picosat_960-1_amd64.deb	2014-11-08 17:23	119K
	picosat_960-1_i386.deb	2014-11-08 17:23	144K
	picosat_960-1build1.debian.tar.xz	2018-04-05 03:22	6.1K
	picosat_960-1build1.dsc	2018-04-05 03:22	1.8K
	picosat_960-1build1_amd64.deb	2018-04-05 03:23	112K
	picosat_960-1build1_i386.deb	2018-04-05 03:25	119K
	picosat_960.orig.tar.gz	2014-11-08 17:13	62K
	picosat_965-1.debian.tar.xz	2019-08-20 11:23	5.8K
	picosat_965-1.dsc	2019-08-20 11:23	1.9K
	picosat_965-1_amd64.deb	2019-08-20 11:23	91K
	picosat_965-2.debian.tar.xz	2021-02-21 05:23	6.2K
	picosat_965-2.dsc	2021-02-21 05:23	1.9K
	picosat_965-2_amd64.deb	2021-02-21 05:23	90K
	picosat_965.orig.tar.gz	2019-08-20 11:23	63K