Updated to a newer version of gmp; fixes #5810
authorIan Lynagh <igloo@earth.li>
Fri, 3 Feb 2012 17:03:21 +0000 (17:03 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 3 Feb 2012 17:03:21 +0000 (17:03 +0000)
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.

gmp/tarball/gmp-5.0.2-nodoc-patched.tar.bz2 [deleted file]
gmp/tarball/gmp-5.0.3-nodoc-patched.tar.bz2 [new file with mode: 0644]

diff --git a/gmp/tarball/gmp-5.0.2-nodoc-patched.tar.bz2 b/gmp/tarball/gmp-5.0.2-nodoc-patched.tar.bz2
deleted file mode 100644 (file)
index 64801d1..0000000
Binary files a/gmp/tarball/gmp-5.0.2-nodoc-patched.tar.bz2 and /dev/null differ
diff --git a/gmp/tarball/gmp-5.0.3-nodoc-patched.tar.bz2 b/gmp/tarball/gmp-5.0.3-nodoc-patched.tar.bz2
new file mode 100644 (file)
index 0000000..baf99e6
Binary files /dev/null and b/gmp/tarball/gmp-5.0.3-nodoc-patched.tar.bz2 differ