https://bugzilla.redhat.com/show_bug.cgi?id=851810
František Dvořák valtri@civ.zcu.cz changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |valtri@civ.zcu.cz
--- Comment #13 from František Dvořák valtri@civ.zcu.cz --- There are only some details yet: - source URL could be better http://www.mpfr.org/mpfr-%%7Bversion%7D/%%7Bname1%7D-%%7Bversion%7D.tar.xz (mpfr-current is valid only for the current release) - in the meantime new version has been released