Jo-Philipp Wich a854d5c4c9 tools: Fix mpfr build on FreeBSD 10.1 vor 11 Jahren
..
patches a854d5c4c9 tools: Fix mpfr build on FreeBSD 10.1 vor 11 Jahren
Makefile 8a35c5936f tools/mpfr: add GNU source vor 12 Jahren