MD5 (web2c-7.1.tar.gz) = 9337cb416cc367be7871c2f15bf91a5c
MD5 (web-7.1.tar.gz) = d525679921a0db7e4289b53415494dae
MD5 (tex_base.tar.gz) = f4c6ea916cc7a955844fdfaf43d429ae
MD5 (cm_tfm.tar.gz) = 53e7cc4680aeea7bc9bcbe04356eeed6
MD5 (mf_lib.tar.gz) = 5c53105b2c3fe8416eb06f64c8b5adf1
MD5 (cm_mf.tar.gz) = 199f9d26eff042df51f50d3020a0baee
MD5 (modes.mf) = 8985161376dc78ed599e0eb5c7265b31