filesystem: bumped release number to be synced with upstream

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

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() {