libgmp: updated to 5.1.3

diff --git a/libgmp/.footprint b/libgmp/.footprint
index 74ea801aa74cf09431be2b6a3a7168b17dafb02e..e48f72a54f88fd3d9624af84ea481a295a8134f6 100644 (file)
--- a/libgmp/.footprint
+++ b/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.2
-lrwxrwxrwx     root/root       usr/lib/libgmp.so.10 -> libgmp.so.10.1.2
--rwxr-xr-x     root/root       usr/lib/libgmp.so.10.1.2
+lrwxrwxrwx     root/root       usr/lib/libgmp.so -> libgmp.so.10.1.3
+lrwxrwxrwx     root/root       usr/lib/libgmp.so.10 -> libgmp.so.10.1.3
+-rwxr-xr-x     root/root       usr/lib/libgmp.so.10.1.3
 -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.2
-lrwxrwxrwx     root/root       usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.3.2
--rwxr-xr-x     root/root       usr/lib/libgmpxx.so.4.3.2
+lrwxrwxrwx     root/root       usr/lib/libgmpxx.so -> libgmpxx.so.4.3.3
+lrwxrwxrwx     root/root       usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.3.3
+-rwxr-xr-x     root/root       usr/lib/libgmpxx.so.4.3.3

diff --git a/libgmp/.md5sum b/libgmp/.md5sum
index f023fc3da566b84134405aaea016313842e14fe0..067aeedefaf10c546eb9afae6ffc6d6ee52d4d76 100644 (file)
--- a/libgmp/.md5sum
+++ b/libgmp/.md5sum
@@ -1 +1 @@
-06fe2ca164221c59ce74867155cfc1ac  gmp-5.1.2.tar.xz
+e5fe367801ff067b923d1e6a126448aa  gmp-5.1.3.tar.xz

diff --git a/libgmp/Pkgfile b/libgmp/Pkgfile
index 9c1d6caf45e1693eb4eebae880c163623aaab839..dad0d9677cdc51a448c24693a7d45a8c3c4eeb6e 100644 (file)
--- a/libgmp/Pkgfile
+++ b/libgmp/Pkgfile
@@ -5,8 +5,8 @@
 # Depends on:
 
 name=libgmp
-version=5.1.2
-release=2
+version=5.1.3
+release=1
 source=(ftp://ftp.gmplib.org/pub/gmp-$version/gmp-$version.tar.xz)
 
 build() {