picosat_965-3_amd64.deb
picosat_965-3_arm64.deb