SHA256 (dvi2dvi-1.1.tar.gz) = af4203d461dfce335d9699bd2d4f354a24e475548fffb4e2d67d7cbd7c62f8bb SIZE (dvi2dvi-1.1.tar.gz) = 49078 SHA256 (web2c-7.2a.tar.gz) = 418df9840c2d821cd0ac1e269f3c40752c97375420d28b2d046f10fd4d194602 SIZE (web2c-7.2a.tar.gz) = 1561910