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