summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/crossgcc/buildgcc2
-rw-r--r--util/crossgcc/sum/mpfr-3.1.2.tar.bz2.cksum1
-rw-r--r--util/crossgcc/sum/mpfr-3.1.3.tar.bz2.cksum1
3 files changed, 2 insertions, 2 deletions
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index 31db9cb7a0..d88f13042d 100755
--- a/util/crossgcc/buildgcc
+++ b/util/crossgcc/buildgcc
@@ -32,7 +32,7 @@ SKIPPYTHON=1
# GCC toolchain version numbers
GMP_VERSION=6.1.0
-MPFR_VERSION=3.1.2
+MPFR_VERSION=3.1.3
MPC_VERSION=1.0.3
LIBELF_VERSION=0.8.13
GCC_VERSION=5.2.0
diff --git a/util/crossgcc/sum/mpfr-3.1.2.tar.bz2.cksum b/util/crossgcc/sum/mpfr-3.1.2.tar.bz2.cksum
deleted file mode 100644
index d62e24396c..0000000000
--- a/util/crossgcc/sum/mpfr-3.1.2.tar.bz2.cksum
+++ /dev/null
@@ -1 +0,0 @@
-46d5a11a59a4e31f74f73dd70c5d57a59de2d0b4 tarballs/mpfr-3.1.2.tar.bz2
diff --git a/util/crossgcc/sum/mpfr-3.1.3.tar.bz2.cksum b/util/crossgcc/sum/mpfr-3.1.3.tar.bz2.cksum
new file mode 100644
index 0000000000..0be644cb02
--- /dev/null
+++ b/util/crossgcc/sum/mpfr-3.1.3.tar.bz2.cksum
@@ -0,0 +1 @@
+3e46c5ce43701f2f36f9d01f407efe081700da80 tarballs/mpfr-3.1.3.tar.bz2