SHA256 (tanglet-1.5.0-src.tar.bz2) = IlrsCBS3xlBwACCTwt+G+NHMX/y4OyaBHwKaDyqXBA4=
SIZE (tanglet-1.5.0-src.tar.bz2) = 8452536
