../ picosat_960-1+b2_amd64.deb 17-Mar-2017 03:40 122972 picosat_960-1+b2_i386.deb 17-Mar-2017 02:59 128550 picosat_965-2+b1_riscv64.deb 17-Feb-2024 18:26 167740 picosat_965-2_amd64.deb 21-Feb-2021 07:13 94496 picosat_965-2_i386.deb 21-Feb-2021 07:28 98808