MD5 (texinfo-3.12s.tar.gz) = 5c4c3d84113b03cd78e79e634c1e4fbc
MD5 (texinfo-3.12s-j.diff.gz) = 99be5e190d4e6cd7c74737935e8f6dde