../ stockfish_8-3.debian.tar.xz 12-Nov-2016 18:43 15616 stockfish_8-3.dsc 12-Nov-2016 18:43 1669 stockfish_8-3_amd64.deb 12-Nov-2016 18:43 142902 stockfish_8-3_i386.deb 13-Nov-2016 03:11 155686 stockfish_8.orig.tar.gz 09-Nov-2016 19:16 128303