../ picosat_965-2.debian.tar.xz 02-Aug-2025 10:22 6328 picosat_965-2.dsc 02-Aug-2025 10:22 1959 picosat_965-2_amd64.deb 02-Aug-2025 10:22 92K picosat_965-2_arm64.deb 02-Aug-2025 10:22 84K picosat_965-2_armhf.deb 02-Aug-2025 10:22 83K picosat_965-2_i386.deb 02-Aug-2025 10:22 96K picosat_965.orig.tar.gz 02-Aug-2025 10:22 63K