F TEXINFO-.GZ                       	texinfo-3.12.tar.gz