../ picosat_965-2+b1_arm64.deb 28-Oct-2024 09:33 89456 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_arm64.deb 21-Feb-2021 07:28 86260 picosat_965-2_i386.deb 21-Feb-2021 07:28 98808 picosat_965-2_mips64el.deb 21-Feb-2021 07:58 98260 picosat_965-2_ppc64el.deb 21-Feb-2021 07:28 103272