../ tinyos-tools_1.4.2-1_amd64.deb 29-Apr-2013 16:04 143426 tinyos-tools_1.4.2-1_i386.deb 29-Apr-2013 16:04 141882