![[Jenkins]](/jenkins/static/cf0a1f3c/images/svgs/logo.svg){kind=logo}
Summary
- mpfr: remove patch 01-add-usr-inc... (commit: f35f559) (details)
| The file was removed | components/library/mpfr/patches/01-add-usr-include-gmp-to-cflags.patch |
| The file was modified | components/library/mpfr/Makefile (diff) |
| The file was removed | components/library/mpfr/patches/01-add-usr-include-gmp-to-cflags.patch |
| The file was modified | components/library/mpfr/Makefile (diff) |