../ picosat_965-2_amd64.deb 21-Feb-2021 07:13 92K picosat_965-2_arm64.deb 21-Feb-2021 07:28 84K picosat_965-2_armhf.deb 21-Feb-2021 13:11 83K