On 21/10/2013 07:50, Nick Hudson wrote: [...]
> Should I submit another PR with the changes to the mpfr package or should I > deal with it here?Probably best a send PR.
Actually, I just had a quick look and I don't think libmpfr is at fault at all here.
Nick