SHA256 (texinfo-5.1.tar.xz) = 181d802ffd01c915e32804aca1ee9fb8023e8587d6dcb2c7aaa3234462d9c420
SIZE (texinfo-5.1.tar.xz) = 3752460
SHA256 (htmlxref.cnf) = 4e9213642a5c22757ac1831aa4515404b2955cd7be83a4ee96e11ab5b9e3de49
SIZE (htmlxref.cnf) = 19086
SHA256 (texinfo.tex) = d0cadc70df4b17e55601c1ff2fd40de2b4bbe2636011fd057b991071b8c73efc
SIZE (texinfo.tex) = 324065
SHA256 (texi2dvi) = b76136b45881e7520f127c27e8b4ec69b9213b5a9ed2b73f45b1a0504712cf08
SIZE (texi2dvi) = 58067
