TIMESTAMP = 1519231808
SHA256 (tanglet-1.5.1-src.tar.bz2) = eec43ea7373dea7817e3ce773aa09fb4e3d5aa01e10a949484a5b6cd4753256b
SIZE (tanglet-1.5.1-src.tar.bz2) = 8505556
