../ picosat_960-1+b2_amd64.deb 17-Mar-2017 03:40 122972 picosat_960-1+b2_arm64.deb 17-Mar-2017 00:11 99640 picosat_960-1+b2_i386.deb 17-Mar-2017 02:59 128550 picosat_965-2_amd64.deb 21-Feb-2021 07:13 94496 picosat_965-2_arm64.deb 21-Feb-2021 07:28 86260 picosat_965-2_i386.deb 21-Feb-2021 07:28 98808