../ picosat_960-1+b2_amd64.deb 17-Mar-2017 03:40 122972 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_mips64el.deb 21-Feb-2021 07:58 98260