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

	Name	Last modified	Size
	Parent Directory		-
	picosat_965-2_amd64.deb	2021-02-21 10:13	92K
	picosat_965-2_arm64.deb	2021-02-21 10:28	84K
	picosat_965-2_armhf.deb	2021-02-21 16:11	83K
	picosat_965-2_i386.deb	2021-02-21 10:28	96K