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