(TXT) gmp.texi
 (BIN) gmp.texi.tar.gz
 (HTM) index.html
 (TXT) version.texi