MD5 (web2c-7.0.tar.gz) = df32071b1e2d8a26b35bb304e28e4dbb
MD5 (web-7.0.tar.gz) = ba36aab1380a02adaa38f3eb7b5c12f7
MD5 (texmflib-7.2.tar.gz) = 7514f3b2f4fffc7884e4a560f6262c35