Add contrib/get-gmp script. (#2292)
-rw-r--r-- 391 .clang-format
-rw-r--r-- 406 .gitignore
-rw-r--r-- 1517 .mailmap
-rw-r--r-- 5747 .travis.yml
-rw-r--r-- 1999 AUTHORS
-rw-r--r-- 5913 COPYING
-rw-r--r-- 11848 INSTALL
-rw-r--r-- 7989 Makefile
-rw-r--r-- 5797 Makefile.am
-rw-r--r-- 4635 Makefile.builds.in
-rw-r--r-- 1439 Makefile.subdir
-rw-r--r-- 7374 NEWS
-rw-r--r-- 4720 README
-rw-r--r-- 6581 RELEASE-NOTES
-rw-r--r-- 1495 THANKS
-rwxr-xr-x 47499 autogen.sh
drwxr-xr-x - config
-rw-r--r-- 58753 configure.ac
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - examples
-rw-r--r-- 3687 library_versions
drwxr-xr-x - licenses
drwxr-xr-x - proofs
drwxr-xr-x - src
drwxr-xr-x - test