![[Jenkins]](/jenkins/static/cf0a1f3c/images/svgs/logo.svg){kind=logo}
Summary
- Bump mpfr to 3.1.5.2 (commit: 1ed44ba) (details)
| The file was modified | components/library/mpfr/Makefile (diff) |
| The file was added | components/library/mpfr/patches/mpfr-3.5.1.2.patch |
| The file was modified | components/library/mpfr/Makefile (diff) |
| The file was added | components/library/mpfr/patches/mpfr-3.5.1.2.patch |