Revert "Update mpfr to latest. 4.0.0."

Wait til mpc comes out with a new version. This reverts commit 38626a0.
lancethepants · Jan 4, 2018 · dd9fe9a · dd9fe9a
1 parent 1461748
commit dd9fe9a
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/scripts/buildroot.sh b/scripts/buildroot.sh
@@ -151,7 +151,7 @@ fi
 # MPFR # ####################################################################
 ######## ####################################################################
 
-MPFR_VERSION=4.0.0
+MPFR_VERSION=3.1.6
 
 cd $SRC/mpfr
 

diff --git a/src/mpfr/mpfr-3.1.6.tar.gz.REMOVED.git-id b/src/mpfr/mpfr-3.1.6.tar.gz.REMOVED.git-id
@@ -0,0 +1 @@
+02da63cccbf0caa9663ad7447b464343529e3118
diff --git a/src/mpfr/mpfr-4.0.0.tar.gz.REMOVED.git-id b/src/mpfr/mpfr-4.0.0.tar.gz.REMOVED.git-id