1
0
mirror of https://git.openwrt.org/openwrt/openwrt.git synced 2024-06-13 18:53:52 +02:00
openwrt/tools/mpfr
Daniel Engberg 93034bf7f0 tools/mpfr: Update to 4.0.2
Update mpfr to 4.0.2
Use official site as last resort
Force thread-safety functionality
Refresh patches

Signed-off-by: Daniel Engberg <daniel.engberg.lists@pyret.net>
2019-02-10 20:51:09 +01:00
..
patches tools/mpfr: Update to 4.0.2 2019-02-10 20:51:09 +01:00
Makefile tools/mpfr: Update to 4.0.2 2019-02-10 20:51:09 +01:00