From fc773de17a9e982b9f0d64ad6a13898d890e313b Mon Sep 17 00:00:00 2001
From: Simon Byrne <simonbyrne@gmail.com>
Date: Tue, 12 Feb 2019 16:06:16 -0800
Subject: [PATCH] bump MPFR to 4.0.2 (#31041)

(cherry picked from commit 300a336f7d7fcfb0964190d816f7cc9c857fb065)
---
 deps/Versions.make                       | 2 +-
 deps/checksums/mpfr-4.0.1.tar.bz2/md5    | 1 -
 deps/checksums/mpfr-4.0.1.tar.bz2/sha512 | 1 -
 deps/checksums/mpfr-4.0.2.tar.bz2/md5    | 1 +
 deps/checksums/mpfr-4.0.2.tar.bz2/sha512 | 1 +
 5 files changed, 3 insertions(+), 3 deletions(-)
 delete mode 100644 deps/checksums/mpfr-4.0.1.tar.bz2/md5
 delete mode 100644 deps/checksums/mpfr-4.0.1.tar.bz2/sha512
 create mode 100644 deps/checksums/mpfr-4.0.2.tar.bz2/md5
 create mode 100644 deps/checksums/mpfr-4.0.2.tar.bz2/sha512

diff --git a/deps/Versions.make b/deps/Versions.make
index ea8c5d118afd4..43d2807aadf58 100644
--- a/deps/Versions.make
+++ b/deps/Versions.make
@@ -7,7 +7,7 @@ SUITESPARSE_VER = 4.4.5
 UNWIND_VER = 1.1-julia2
 OSXUNWIND_VER = 0.0.5
 GMP_VER = 6.1.2
-MPFR_VER = 4.0.1
+MPFR_VER = 4.0.2
 PATCHELF_VER = 0.9
 MBEDTLS_VER = 2.6.0
 CURL_VER = 7.56.0
diff --git a/deps/checksums/mpfr-4.0.1.tar.bz2/md5 b/deps/checksums/mpfr-4.0.1.tar.bz2/md5
deleted file mode 100644
index 0033858e5788e..0000000000000
--- a/deps/checksums/mpfr-4.0.1.tar.bz2/md5
+++ /dev/null
@@ -1 +0,0 @@
-8c21d8ac7460493b2b9f3ef3cc610454
diff --git a/deps/checksums/mpfr-4.0.1.tar.bz2/sha512 b/deps/checksums/mpfr-4.0.1.tar.bz2/sha512
deleted file mode 100644
index 42c78a8b089dd..0000000000000
--- a/deps/checksums/mpfr-4.0.1.tar.bz2/sha512
+++ /dev/null
@@ -1 +0,0 @@
-c1674fc0a5edcde188bdf7d6d14063cfb4f1259b9eaf39d0081f7176e9921ca0af1b12b7aba1a9560d9f2d5f37329d22bc7b82f13421d91d83114b439bc60dcc
diff --git a/deps/checksums/mpfr-4.0.2.tar.bz2/md5 b/deps/checksums/mpfr-4.0.2.tar.bz2/md5
new file mode 100644
index 0000000000000..8639e86c33058
--- /dev/null
+++ b/deps/checksums/mpfr-4.0.2.tar.bz2/md5
@@ -0,0 +1 @@
+6d8a8bb46fe09ff44e21cdbf84f5cdac
diff --git a/deps/checksums/mpfr-4.0.2.tar.bz2/sha512 b/deps/checksums/mpfr-4.0.2.tar.bz2/sha512
new file mode 100644
index 0000000000000..d073360a775c8
--- /dev/null
+++ b/deps/checksums/mpfr-4.0.2.tar.bz2/sha512
@@ -0,0 +1 @@
+18bb3a87123d02b7537bc298d41bdbb33e58b8c196cc4040578e3b470e86c6c89e1bd8ab8b3919d106fe5b86922ef8999dc1aba7c521ee90a69f690be288a30d