MD5 (dvi2tty-5.3.tar.gz) = 3476b0f20bc97f7d5e85b0d78394875f
RMD160 (dvi2tty-5.3.tar.gz) = 196a7e179e4bb6bb97a4f2f7fa2ae098168b7973
SHA1 (dvi2tty-5.3.tar.gz) = 60c2172b0c8c7cac23952dfa271ba600cb18d12e