MD5 (ptex/dvipsk-5.78a.tar.gz) = 7731c81a2614f62ff892b296d257c4d0
MD5 (ptex/dvipsk-jpatch-p1.4d.tar.gz) = e9f29bb7128da7b0b5810cc4558392b4
MD5 (ptex/dvipsk-vflib-1.1alpha.patch.tgz) = f2eff40c3b2afe732c6e2a0b8469c2db