gmp: update to 5.1.3

2013-11-07 18:04:53 +01:00
parent 3462a3e069
commit 1c65b61719
2 changed files with 5 additions and 1 deletions
--- a/gmp/build.sh
+++ b/gmp/build.sh
@@ -6,7 +6,7 @@
 ###########################################################
 # Check the following 4 variables before running the script
 topdir=gmp
-version=5.1.2
+version=5.1.3
 pkgver=1
 source[0]=ftp://ftp.sunet.se/pub/gnu/gmp/$topdir-$version.tar.bz2
 # If there are no patches, simply comment this
@@ -54,6 +54,7 @@ install()
    compat gmp 4.2.4 1 5
    #
    compat gmp 5.0.1 1 1
+    compat gmp 5.1.2 1 1
 }

 reg pack