Binaries
tla
(
tla_1.3.5+dfsg1-2_arm64.deb
)
SHA1: 92a6732899db522c2e5f4234b6520ec2711d6d94
SHA256: e52f02bad22bf65ab860e4f57dabefab891883c98aa79a00ce22417845d7c5e6
Size: 328,488 bytes
SHA1: cabd64e51882c4466c234cc50a7443029ca5b125
SHA256: 2664404c178512755e1ef318ad790160f7474539c32f69fec3858887186d78cb
Size: 1,152,840 bytes
tla-doc
(
tla-doc_1.3.5+dfsg1-2_all.deb
)
SHA1: 71b128ba10fdb3823cea2e1040f35edd5b092147
SHA256: 3a54521f93df4a20e6f974aade2e71a344d6b1cbd9fc532fb95be6b4fe3bd156
Size: 37,004 bytes