MD5 (dvi2tty-5.3.tar.gz) = b59a2ec194f4d9ddd7a8d74dbff8133d
RMD160 (dvi2tty-5.3.tar.gz) = f831229fe96cc33031c0c9b615fcd8e612b805ad
SHA1 (dvi2tty-5.3.tar.gz) = 8b5e16216429841ae4c1ab028157ab624ba6bf72
