diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index 8010716d36..f17a8a250d 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -753,7 +753,7 @@ class Context(object): 'gmp': '6.2.0', 'linux': '5.7', 'mpc': '1.1.0', - 'mpfr': '4.0.2', + 'mpfr': '4.1.0', 'mig': 'vcs-mainline', 'gnumach': 'vcs-mainline', 'hurd': 'vcs-mainline'} |