MD5 (texinfo-4.0.tar.gz) = 070493baeb2c277c34575b0df4e2baf1
MD5 (texinfo-4.0-j.diff.gz) = 8ffb70f617d1f92c53666c67c6e3479b