MD5 (htex/unpacked.tar.gz) = e9ca13accf776272f6c67595a1d78bda
MD5 (htex/htex.tfm.tar.gz) = 6e78e278613c5178a678b720264779df