tla-doc_1.3.5+dfsg2-1_all.deb
tla_1.3.5+dfsg2-1_amd64.deb
tla_1.3.5+dfsg2-1_arm64.deb