../ picosat_965-2+b1_arm64.deb 28-Oct-2024 09:33 87K picosat_965-2+b1_riscv64.deb 17-Feb-2024 18:26 164K picosat_965-2_amd64.deb 21-Feb-2021 07:13 92K picosat_965-3_amd64.deb 01-Nov-2025 12:23 96K picosat_965-3_arm64.deb 01-Nov-2025 12:18 86K picosat_965-3_riscv64.deb 01-Nov-2025 13:09 179K