picosat_965-1_amd64.deb
picosat_965-2_amd64.deb
picosat_965-3_amd64.deb