../ picosat_960-1+b2_amd64.deb 17-Mar-2017 03:40 122972 picosat_960-1+b2_i386.deb 17-Mar-2017 02:59 128550 picosat_960-1_amd64.deb 08-Nov-2014 19:28 122672 picosat_960-1_i386.deb 08-Nov-2014 19:28 148766 picosat_965-2_amd64.deb 21-Feb-2021 07:13 94496 picosat_965-2_i386.deb 21-Feb-2021 07:28 98808