MD5 (tla-1.2.tar.gz) = 1fbc9cd83c37ad6e88e9e6a5f0b62871
RMD160 (tla-1.2.tar.gz) = b41f99d7174ad5e27f4e8a9342b3a5ec42f2eb7f
SHA1 (tla-1.2.tar.gz) = c69b2fb612a8bc983e1f8f62fc6ab62e0205bb0a