Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/p/picosat

	Name	Last modified	Size	Description
	Parent Directory		-
	picosat_936-3.debian.tar.gz	2011-10-17 07:04	5.3K
	picosat_936-3.dsc	2011-10-17 07:04	1.0K
	picosat_936-3_armhf.deb	2011-12-01 00:04	212K
	picosat_936-4.debian.tar.gz	2012-04-30 12:35	5.8K
	picosat_936-4.dsc	2012-04-30 12:35	1.0K
	picosat_936-4_armhf.deb	2012-05-02 01:06	254K
	picosat_936.orig.tar.gz	2010-10-15 07:09	51K
	picosat_954-1.debian.tar.gz	2012-12-20 21:33	6.4K
	picosat_954-1.dsc	2012-12-20 21:33	1.0K
	picosat_954-1_armhf.deb	2012-12-20 21:33	288K
	picosat_954.orig.tar.gz	2012-12-20 21:33	62K