[Buildroot] [PATCH] mpfr: bump to version 3.1.3

[Thomas Petazzoni]

Dear Gustavo Zacarias,

On Sat, 20 Jun 2015 09:55:20 -0300, Gustavo Zacarias wrote:
> Signed-off-by: Gustavo Zacarias <gustavo at zacarias.com.ar>
> ---
>  package/mpfr/0001-patchlevel11.patch | 1631 ----------------------------------
>  package/mpfr/mpfr.hash               |    2 +-
>  package/mpfr/mpfr.mk                 |    2 +-
>  3 files changed, 2 insertions(+), 1633 deletions(-)
>  delete mode 100644 package/mpfr/0001-patchlevel11.patch

Applied, thanks.

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com