Binaries
tla
(
tla_1.3.5+dfsg1-2_arm64.deb
)
SHA1: 2e6b2905162d6fb1fbc436371600c737331b333d
SHA256: 7aaf31da96097893f2767bee0726ab7bbef63b9dfab0c09b96e47d460c715698
Size: 327,808 bytes
SHA1: 47654e49b3cd1a7cad8207ac6b96017ba16647dc
SHA256: df33e4eefd105c857554b2f7c701e67a26c1056edf199b659b45604544258472
Size: 1,129,284 bytes
tla-doc
(
tla-doc_1.3.5+dfsg1-2_all.deb
)
SHA1: 4428e5c8d65273f5b449b29b84e95c845e8c2184
SHA256: 9bd8945e8ac10180e0973645e3b8832c96c7ae886bd6e5339c87b9853e9b87a7
Size: 36,996 bytes