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