Binaries
tla
(
tla_1.3.5+dfsg1-2_amd64.deb
)
SHA1: c5874104ceeeb67a1d05ad292744cacff7d48ac4
SHA256: e1b905e951db5bdd8d3ea05f2611896a4b3234c2fe0111959bb397d9858d5c95
Size: 358,308 bytes
SHA1: 3bc2822d2498265906d2ac3434386c69ed1a3201
SHA256: fa34290e33c0ea1e7348d56f815cf406a108222988dc8291927d87c18d0c5137
Size: 1,166,284 bytes
tla-doc
(
tla-doc_1.3.5+dfsg1-2_all.deb
)
SHA1: 71b128ba10fdb3823cea2e1040f35edd5b092147
SHA256: 3a54521f93df4a20e6f974aade2e71a344d6b1cbd9fc532fb95be6b4fe3bd156
Size: 37,004 bytes