MD5 (dvi2tty5.0.tar.gz) = 0113d7328fe9e227d94d44f8ea7f29be
MD5 (dvi2tty-ascii-jtex-patch) = cb0a4cd02a6c4fb7b68d684c343847b9
MD5 (dvi2tty.c-patch) = 3766e59036d8bdd044fe302cef0d37d2