From 27c5f2764d56ce317d25853951b15bca151aa5e4 Mon Sep 17 00:00:00 2001
From: Ricardo Martins <rasm@oceanscan-mst.com>
Date: Fri, 4 Sep 2015 16:10:37 +0100
Subject: [PATCH] mpfr: upgraded to v3.1.3.

---
 rules/mpfr/host.bash | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/rules/mpfr/host.bash b/rules/mpfr/host.bash
index 55cd22d..6dd214c 100644
--- a/rules/mpfr/host.bash
+++ b/rules/mpfr/host.bash
@@ -1,21 +1,21 @@
 version=\
 (
-    '3.1.2'
+    '3.1.3'
 )
 
 url=\
 (
-    "http://www.mpfr.org/mpfr-current/mpfr-$version.tar.bz2"
+    "http://www.mpfr.org/mpfr-$version/mpfr-$version.tar.bz2"
 )
 
 md5=\
 (
-    "ee2c3ac63bf0c2359bf08fc3ee094c19"
+    '5fdfa3cfa5c86514ee4a241a1affa138'
 )
 
 maintainer=\
 (
-    "Ricardo Martins <rasm@fe.up.pt>"
+    'Ricardo Martins <rasm@fe.up.pt>'
 )
 
 requires=\
@@ -26,8 +26,8 @@ requires=\
 configure()
 {
     ./configure \
-        --prefix="${cfg_dir_toolchain}" \
-        --with-gmp="${cfg_dir_toolchain}" \
+        --prefix="$cfg_dir_toolchain" \
+        --with-gmp="$cfg_dir_toolchain" \
         --disable-shared \
         --enable-static
 }