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
..
2019-02-10 20:49:56 +01:00
2018-11-01 13:49:52 +01:00
2018-12-29 18:12:28 +01:00
2018-11-25 19:23:03 +01:00
2017-01-03 14:24:33 +01:00
2017-05-25 19:01:07 +02:00
2018-01-18 08:04:18 +01:00
2019-02-10 20:51:09 +01:00
2018-12-24 17:05:57 +01:00
2018-01-17 08:52:54 +01:00
2019-02-10 20:48:25 +01:00
2018-06-08 09:56:26 +02:00
2019-02-10 20:47:58 +01:00
2019-01-22 11:28:49 +01:00