https://bugzilla.redhat.com/show_bug.cgi?id=833622 --- Comment #17 from Thomas Sailer <t.sailer at alumni.ethz.ch> --- mpfr is here: https://bugzilla.redhat.com/show_bug.cgi?id=851810 -- You are receiving this mail because: You are on the CC list for the bug.