TIMESTAMP = 1593461873
SHA256 (tanglet-1.5.6-src.tar.bz2) = 5843e103956dbd3fd735a62d97f9160b464a24992c58b22be3cfcd6d7b01111e
SIZE (tanglet-1.5.6-src.tar.bz2) = 9154108