SHA256 (texinfo-4.13.tar.gz) = 1303e91a1c752b69a32666a407e9fbdd6e936def4b09bc7de30f416301530d68
SIZE (texinfo-4.13.tar.gz) = 2751071
SHA256 (texinfo.tex) = f506a97fe0ea0388c9b29653bd9b9ed8e188d3d649a9e9485e2e051bba47496e
SIZE (texinfo.tex) = 321252
SHA256 (texi2dvi) = bf6fc2d85b52cde8e7919b5a379804a3d1eeaa95cb781c7daf79fd5f3cc8e6be
SIZE (texi2dvi) = 58102