edouard@22: b749fb6c64e0853eb079c46dd277075b  libmpfr-3.1.5-1-mingw32-dll-4.tar.xz