../ tla-doc_1.3.5+dfsg1-2_all.deb 23-Oct-2015 22:16 32990 tla_1.3.5+dfsg1-2_amd64.deb 23-Oct-2015 22:16 319962 tla_1.3.5+dfsg1-2_i386.deb 23-Oct-2015 22:21 350038