../ 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 picosat_965-3_amd64.deb 01-Nov-2025 12:23 98592 picosat_965-3_loong64.deb 20-Dec-2025 22:13 171104 picosat_965-3_riscv64.deb 01-Nov-2025 13:09 183672