$NetBSD: distinfo,v 1.17 2021/10/26 10:20:04 nia Exp $

BLAKE2s (tla-1.3.5.tar.gz) = 4a195169e5afe2eb8528d2d621a71f433c8f9be41d62f1dc1fb0286475da4bf8
SHA512 (tla-1.3.5.tar.gz) = 4e081976467eb709252903bc9b5380cd20ea66977f13dcb1a2d2e057368a7c3fb2788b16e36cf5c022b780735953fff7f50d923fa87b6647e55cfbdb8fef2016
Size (tla-1.3.5.tar.gz) = 3756860 bytes