MD5 (web2c-7.1.tar.gz) = 9337cb416cc367be7871c2f15bf91a5c
MD5 (web-7.1.tar.gz) = d525679921a0db7e4289b53415494dae
MD5 (tex_base.tar.gz) = 7d89c3a847b035d6e8a2f160837ce8c7
MD5 (cm_tfm.tar.gz) = a2bf30d48f4b726996173396f99b830e
MD5 (mf_lib.tar.gz) = a2491486902879cb854fffbbbccb1c6c
MD5 (cm_mf.tar.gz) = 743231313957f40fef869690ff6589e2
MD5 (modes.mf) = 1aa49889ea67eb213a4607da5a6e0687