MD5 (teTeX/ptex-src-3.1.2.tar.gz) = dba257433562c3a5a33206ecb1157a74