SHA256 (texinfo-5.2.tar.xz) = 5471ef683a64588a7cfef46ef2bdd3fbcbca89d847e10832612293f105e44eda
SIZE (texinfo-5.2.tar.xz) = 3812944
SHA256 (htmlxref.cnf) = 4e9213642a5c22757ac1831aa4515404b2955cd7be83a4ee96e11ab5b9e3de49
SIZE (htmlxref.cnf) = 19086
SHA256 (texinfo.tex) = f62cf03a7e7922d55df7fb8ec6a9c491aede54e407585fe9fd932532c6218c96
SIZE (texinfo.tex) = 325892
SHA256 (texi2dvi) = 1544ebfe146908dc9a221723b6981eeed63675fc05f76b7820e903a2b40f30a1
SIZE (texi2dvi) = 58518