MD5 (ptex/dvipsk-5.78a.tar.gz) = 7731c81a2614f62ff892b296d257c4d0
MD5 (ptex/dvipsk-jpatch-p1.4d.tar.gz) = e9f29bb7128da7b0b5810cc4558392b4