tools/mpfr: Update to 4.0.1
authorDaniel Engberg <daniel.engberg.lists@pyret.net>
Mon, 12 Mar 2018 15:59:24 +0000 (16:59 +0100)
committerHans Dedecker <dedeckeh@gmail.com>
Wed, 11 Apr 2018 19:02:50 +0000 (21:02 +0200)
commit85282ae69c7b53177bc49e8e879d6e53c90241fe
tree4aa648f90f60abf8f4919e5770e5d15fb1eff272
parenta8c315192b750453e1b821ab735bdabca43a4d0e
tools/mpfr: Update to 4.0.1

Update mpfr to 4.0.1

Signed-off-by: Daniel Engberg <daniel.engberg.lists@pyret.net>
tools/mpfr/Makefile