https://bugzilla.redhat.com/show_bug.cgi?id=851810
--- Comment #23 from Fedora Update System updates@fedoraproject.org --- mingw-mpfr-3.1.2-1.fc20 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/mingw-mpfr-3.1.2-1.fc20