Please push mpfr-3.1.2. It's a bugfix release, see http://www.mpfr.org/mpfr-current/#changes
Thanks! Mitya
- [Mageia-dev] Freeze push: mpfr Dimitri
- Re: [Mageia-dev] Freeze push: mpfr Guillaume Rousse
Please push mpfr-3.1.2. It's a bugfix release, see http://www.mpfr.org/mpfr-current/#changes
Thanks! Mitya