libmpfr: update to 3.1.2

libmpfr/.footprint

@@ -5,6 +5,6 @@ drwxr-xr-x	root/root	usr/include/
 drwxr-xr-x	root/root	usr/lib/
 -rw-r--r--	root/root	usr/lib/libmpfr.a
 -rwxr-xr-x	root/root	usr/lib/libmpfr.la
-lrwxrwxrwx	root/root	usr/lib/libmpfr.so -> libmpfr.so.4.1.1
-lrwxrwxrwx	root/root	usr/lib/libmpfr.so.4 -> libmpfr.so.4.1.1
--rwxr-xr-x	root/root	usr/lib/libmpfr.so.4.1.1
+lrwxrwxrwx	root/root	usr/lib/libmpfr.so -> libmpfr.so.4.1.2
+lrwxrwxrwx	root/root	usr/lib/libmpfr.so.4 -> libmpfr.so.4.1.2
+-rwxr-xr-x	root/root	usr/lib/libmpfr.so.4.1.2

libmpfr/.md5sum

@@ -1,2 +1 @@
-d8251276aa74f7106775bd655529379c  libmpfr-3.1.1-p3.patch.gz
-91d51c41fcf2799e4ee7a7126fc95c17  mpfr-3.1.1.tar.xz
+e3d203d188b8fe60bb6578dd3152e05c  mpfr-3.1.2.tar.xz

libmpfr/Pkgfile

@@ -4,14 +4,12 @@
 # Depends on:  libgmp
 
 name=libmpfr
-version=3.1.1-p3
+version=3.1.2
 release=1
-source=(http://www.mpfr.org/mpfr-${version%-*}/mpfr-${version%-*}.tar.xz \
-        $name-$version.patch.gz)
+source=(http://www.mpfr.org/mpfr-$version/mpfr-$version.tar.xz)
 
 build() {
-    cd mpfr-${version%-*}
-    gunzip -c $SRC/$name-$version.patch.gz | patch -p1
+    cd mpfr-$version
     ./configure --prefix=/usr
     make
     make DESTDIR=$PKG install