MD5 (dvi2dvi-1.1.tar.gz) = 00d3c6b793e3a466301a223cc77fc1e4
MD5 (web2c-7.2a.tar.gz) = 012c33d3862472012fb02ef1773e0627