MD5 (teTeX/teTeX-src-0.4pl3.tar.gz) = 66376180c85b01bb243ae54980115782
MD5 (teTeX/teTeX-lib-0.4pl3.tar.gz) = 5c02dc0306c3af6e46a318500feea654