SHA256 (texinfo-4.13.tar.gz) = 1303e91a1c752b69a32666a407e9fbdd6e936def4b09bc7de30f416301530d68
RMD160 (texinfo-4.13.tar.gz) = 2473fc7ef3f82f47a990ee48c1d262b1f420eabd
SIZE (texinfo-4.13.tar.gz) = 2751071
SHA256 (texinfo.tex) = 7a2514914dd0dd815effe123e44611c4c0d32bae1fb214d0a34bb33ff35623ee
RMD160 (texinfo.tex) = fed72482d9b31e15502f45a5e0c46dd3dd441792
SIZE (texinfo.tex) = 306510
SHA256 (texi2dvi) = 331ad8d43bd09399724490d972bcd4fb77761b140f6dae90b0db8946d8baa73e
RMD160 (texi2dvi) = f737a6fdba8df5ebe04021ca1b4a9559e8f289f4
SIZE (texi2dvi) = 57776
