../ picosat_936-4_amd64.deb 04-Mar-2012 00:06 299406 picosat_936-4_i386.deb 03-Mar-2012 23:23 268054 picosat_960-1.debian.tar.xz 08-Nov-2014 18:22 6128 picosat_960-1_amd64.deb 08-Nov-2014 19:28 122672 picosat_960-1_arm64.deb 08-Nov-2014 19:28 102292 picosat_960-1_i386.deb 08-Nov-2014 19:28 148766 picosat_960-1_mips64el.deb 29-Aug-2015 19:40 129450 picosat_960-1_ppc64el.deb 08-Nov-2014 20:44 118318