../ 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+b1_loong64.deb 23-Apr-2026 02:18 172336 picosat_965-3_amd64.deb 01-Nov-2025 12:23 98592 picosat_965-3_riscv64.deb 01-Nov-2025 13:09 183672