Check in mpfr sources used to generate prebuilt toolchain in Donut.
diff --git a/mpfr-2.3.0.tar.bz2 b/mpfr-2.3.0.tar.bz2
new file mode 100755
index 0000000..d9f6d53
--- /dev/null
+++ b/mpfr-2.3.0.tar.bz2
Binary files differ
diff --git a/mpfr-2.4.1.tar.bz2 b/mpfr-2.4.1.tar.bz2
new file mode 100644
index 0000000..109967d
--- /dev/null
+++ b/mpfr-2.4.1.tar.bz2
Binary files differ