(BIN) gmp.texi.tar.gz