MD5 (teTeX/teTeX-src-0.4pl6.tar.gz) = 0d53b43b2e1a3e831e20497bc7bf8a20
MD5 (teTeX/teTeX-lib-0.4pl6.tar.gz) = 0d8b11defade0d82a6adf2ae933527cd