Updated to a newer version of gmp; fixes #5810

I didn't diagnose the problem, but with the newer GMP the problem seems fixed. There are a couple of things that look like candidates for the bug: * A few minor bugs related to portability fixed. * A bug in division code possibly causing incorrect computation was fixed. MERGED from commit 55250466

Updated to a newer version of gmp; fixes #5810
9febee4d · Ian Lynagh · pcapriotti · ede8a0bd · ede8a0bd · 9febee4d
Commit 9febee4d authored 13 years ago by Ian Lynagh Committed by pcapriotti 13 years ago
--- a/gmp/tarball/gmp-5.0.2-nodoc-patched.tar.bz2
+++ b/gmp/tarball/gmp-5.0.2-nodoc-patched.tar.bz2
--- a/gmp/tarball/gmp-5.0.3-nodoc-patched.tar.bz2
+++ b/gmp/tarball/gmp-5.0.3-nodoc-patched.tar.bz2