SHA256 (dvi2tty-5.3.4.tgz) = 5272ef88b99ebc0fe58c868fb4752408dfe8b23d7d8b86d7b87357d7206995e6
SIZE (dvi2tty-5.3.4.tgz) = 59519