SHA256 (texinfo-5.2.tar.xz) = 5471ef683a64588a7cfef46ef2bdd3fbcbca89d847e10832612293f105e44eda
SIZE (texinfo-5.2.tar.xz) = 3812944
SHA256 (htmlxref.cnf) = e008c192c0233428ade62588673198eef88299287e05c80361aacb58b93f1d93
SIZE (htmlxref.cnf) = 19605
SHA256 (texinfo.tex) = 298be0b84dad4c98240e023ec99d91dc0fd169be33171e206723ab072aed872c
SIZE (texinfo.tex) = 326981
SHA256 (texi2dvi) = cabab426b8af28e9411b988e5ab55fa9308be58dbe854b5eb0de407a96137c48
SIZE (texi2dvi) = 57261