filesystem: bumped release number to be synced with upstream

[ports/core-arm.git] / libgmp / Pkgfile

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