../ picosat_960-1+b2_amd64.deb 08-Jan-2023 14:27 122972 picosat_960-1+b2_i386.deb 08-Jan-2023 14:09 128550