../ picosat_965-2.debian.tar.xz 06-Oct-2021 13:39 6328 picosat_965-2.dsc 06-Oct-2021 13:39 1959 picosat_965-2_amd64.deb 06-Oct-2021 13:39 94496 picosat_965-2_i386.deb 06-Oct-2021 13:39 98808 picosat_965.orig.tar.gz 06-Oct-2021 13:39 64386