Revert "download_prerequisites: update MPFR version to recommended"

This reverts commit fe108dad32.
2021-05-17 08:45:10 +02:00 · 2021-05-17 08:45:10 +02:00 · 52a812098a
parent 1dfb5d8ab5
commit 52a812098a
1 changed files with 1 additions and 1 deletions
--- a/contrib/download_prerequisites
+++ b/contrib/download_prerequisites
@ -28,7 +28,7 @@ version='(unversioned)'
 # `contrib/prerequisites.md5` with the new checksums.

 gmp='gmp-6.1.0.tar.bz2'
-mpfr='mpfr-4.1.0.tar.bz2'
+mpfr='mpfr-3.1.4.tar.bz2'
 mpc='mpc-1.0.3.tar.gz'
 isl='isl-0.18.tar.bz2'