../ picosat_965-3.debian.tar.xz 01-Nov-2025 18:02 6444 picosat_965-3.dsc 01-Nov-2025 18:02 1313 picosat_965-3_amd64.deb 01-Nov-2025 20:23 96K picosat_965-3_arm64.deb 01-Nov-2025 20:18 86K picosat_965-3_armhf.deb 01-Nov-2025 20:13 82K picosat_965-3_i386.deb 01-Nov-2025 20:18 101K picosat_965.orig.tar.gz 20-Aug-2019 16:55 63K