tools/mpfr: update to 4.1.0
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 23 Aug 2020 14:08:14 +0000 (17:08 +0300)
committerHans Dedecker <dedeckeh@gmail.com>
Sun, 23 Aug 2020 17:40:32 +0000 (19:40 +0200)
commit4faf7704a2426c1b93262473d547e38fa067c356
treebbc1716700eb6a837e0ef207a9e48bfbdbcaaed9
parent8c9a7881729d82afefc74a8c6e552b20b722b011
tools/mpfr: update to 4.1.0

Update mpfr to version 4.1.0.
Refresh patches.

Signed-off-by: Hannu Nyman <hannu.nyman@iki.fi>
tools/mpfr/Makefile
tools/mpfr/patches/001-only_src.patch