MD5 (web2c-7.2b.tar.gz) = 11de4ea0608d412a31844720f8ad5998
MD5 (web-7.2a.tar.gz) = 9c207c476858aedd43953e14d1669e8b
MD5 (tex_base.tar.gz) = 2869d7c20129534938ef5302aea8e1aa
MD5 (cm_tfm.tar.gz) = 048cbc77cde367a3e7f22ebafa97f14b
MD5 (mf_lib.tar.gz) = 6a3e30804ef47f0803b3ae87e56028ff
MD5 (cm_mf.tar.gz) = 060b79bb5ac89b292b4377a8866ac983
MD5 (modes.mf) = 8985161376dc78ed599e0eb5c7265b31