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