MD5 (dvipsk-5.78a.tar.gz) = 7731c81a2614f62ff892b296d257c4d0
MD5 (dvipsk-jpatch-p1.4.tar.gz) = 20b10a562e0f931768e258118ea773ba