MD5 (texinfo-3.12.tar.gz) = 731f0955cdaa5260d0f81053576a6482