MD5 (web2c-7.0.tar.gz) = df32071b1e2d8a26b35bb304e28e4dbb
MD5 (web-7.0.tar.gz) = ba36aab1380a02adaa38f3eb7b5c12f7
MD5 (modes.mf) = 1aa49889ea67eb213a4607da5a6e0687
MD5 (tex_base.tar.gz) = IGNORE
MD5 (cm_tfm.tar.gz) = IGNORE
MD5 (mf_lib.tar.gz) = IGNORE
MD5 (cm_mf.tar.gz) = IGNORE