diff options
| author | Richard Biener <rguenther@suse.de> | 2021-05-17 08:45:10 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-05-17 08:52:51 +0200 |
| commit | 52a812098a7c05adb2bc3c2ac531039cfc702e94 (patch) | |
| tree | 91dc03768f39f68dcfec6c61a0d75d84f374a7dc /contrib/download_prerequisites | |
| parent | 1dfb5d8ab52c3c76c877077d8d6dc4eaae3c6153 (diff) | |
Revert "download_prerequisites: update MPFR version to recommended"
This reverts commit fe108dad32f521c4f924a397f11c63f86519e183.
Diffstat (limited to 'contrib/download_prerequisites')
| -rwxr-xr-x | contrib/download_prerequisites | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites index 5184fae1ae6..7d0c4b5ea8d 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' |