https://bugzilla.redhat.com/show_bug.cgi?id=851810
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Fixed In Version|mingw-mpfr-3.1.2-1.fc19 |mingw-mpfr-3.1.2-1.fc20
--- Comment #26 from Fedora Update System updates@fedoraproject.org --- mingw-mpfr-3.1.2-1.fc20 has been pushed to the Fedora 20 stable repository. If problems still persist, please make note of it in this bug report.