diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites index 7d0c4b5ea8dcf2d29c978c7b8490deb54800a910..5184fae1ae6fd4c23384acbef77811b9fb92e0bd 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-3.1.4.tar.bz2' +mpfr='mpfr-4.1.0.tar.bz2' mpc='mpc-1.0.3.tar.gz' isl='isl-0.18.tar.bz2'