libgmp: update to 5.1.1

libgmp/.footprint

@@ -5,11 +5,11 @@ drwxr-xr-x	root/root	usr/include/
 drwxr-xr-x	root/root	usr/lib/
 -rw-r--r--	root/root	usr/lib/libgmp.a
 -rwxr-xr-x	root/root	usr/lib/libgmp.la
-lrwxrwxrwx	root/root	usr/lib/libgmp.so -> libgmp.so.10.1.0
-lrwxrwxrwx	root/root	usr/lib/libgmp.so.10 -> libgmp.so.10.1.0
--rwxr-xr-x	root/root	usr/lib/libgmp.so.10.1.0
+lrwxrwxrwx	root/root	usr/lib/libgmp.so -> libgmp.so.10.1.1
+lrwxrwxrwx	root/root	usr/lib/libgmp.so.10 -> libgmp.so.10.1.1
+-rwxr-xr-x	root/root	usr/lib/libgmp.so.10.1.1
 -rw-r--r--	root/root	usr/lib/libgmpxx.a
 -rwxr-xr-x	root/root	usr/lib/libgmpxx.la
-lrwxrwxrwx	root/root	usr/lib/libgmpxx.so -> libgmpxx.so.4.3.0
-lrwxrwxrwx	root/root	usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.3.0
--rwxr-xr-x	root/root	usr/lib/libgmpxx.so.4.3.0
+lrwxrwxrwx	root/root	usr/lib/libgmpxx.so -> libgmpxx.so.4.3.1
+lrwxrwxrwx	root/root	usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.3.1
+-rwxr-xr-x	root/root	usr/lib/libgmpxx.so.4.3.1

libgmp/.md5sum

@@ -1 +1 @@
-69fd511e435f81a0334f14f00c7d77b3  gmp-5.1.0.tar.xz
+485b1296e6287fa381e6015b19767989  gmp-5.1.1.tar.xz

libgmp/Pkgfile

@@ -3,15 +3,15 @@
 # Maintainer:  CRUX System Team, core-ports at crux dot nu
 
 name=libgmp
-version=5.1.0
+version=5.1.1
 release=1
 source=(ftp://ftp.gmplib.org/pub/gmp-$version/gmp-$version.tar.xz)
 
 build() {
     cd gmp-$version
     ./configure --prefix=/usr \
-                       --enable-cxx \
-                       --build=x86_64-unknown-linux-gnu
+                --enable-cxx \
+                --build=x86_64-unknown-linux-gnu
     make
     make DESTDIR=$PKG install
     rm -r $PKG/usr/share