...

/usr/share/doc/mpfr/PATCHES