tools/mpfr: update to 4.22
authorRosen Penev <[email protected]>
Tue, 20 May 2025 22:49:55 +0000 (15:49 -0700)
committerRobert Marko <[email protected]>
Sat, 24 May 2025 09:24:30 +0000 (11:24 +0200)
commit08a5add864033330029ee62eed2cdb206f7edffb
treee661fbe83492812975139ed55c02544f54597472
parentf23ad96e479b1a818943701b00faaf1620d08e4e
tools/mpfr: update to 4.22

Refresh patches.

Signed-off-by: Rosen Penev <[email protected]>
Link: https://github.com/openwrt/openwrt/pull/18857
Signed-off-by: Robert Marko <[email protected]>
tools/mpfr/Makefile
tools/mpfr/patches/001-only_src.patch
tools/mpfr/patches/100-freebsd-compat.patch