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

	Name	Last modified	Size	Description
	Parent Directory		-
	picosat_965-1.debian.tar.xz	2019-08-20 13:23	5.8K
	picosat_965-1.dsc	2019-08-20 13:23	1.9K
	picosat_965.orig.tar.gz	2019-08-20 13:23	63K
	picosat_965-1_amd64.deb	2019-08-20 13:23	91K