From 52a812098a7c05adb2bc3c2ac531039cfc702e94 Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenther@suse.de>
Date: Mon, 17 May 2021 08:45:10 +0200
Subject: [PATCH] Revert "download_prerequisites: update MPFR version to
 recommended"

This reverts commit fe108dad32f521c4f924a397f11c63f86519e183.
---
 contrib/download_prerequisites | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites
index 5184fae1ae6f..7d0c4b5ea8dc 100755
--- 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'
 
-- 
GitLab