SHA256 (tet/3.7/tet3.7-unsup.src.tgz) = 7a879b52e1ac1661e2efbb25913d080a4a2f89fee8da790265e2b54b0bffa175
SIZE (tet/3.7/tet3.7-unsup.src.tgz) = 953406
SHA256 (tet/3.7/37_all_pdf.zip) = ee605f2d4dacac95b5b0d0598ac1b30bcf1dfc47c0d061da629d01be3daa0add
SIZE (tet/3.7/37_all_pdf.zip) = 3133668