summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD4
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index c6273b7e19a6..4129c82f4ba6 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = idris2-git
pkgdesc = Funtional Programming Lanugage with Dependent Types
- pkgver = 0.2.0.r404.g31b486c
+ pkgver = 0.3.0.r154.g37a4c6f1
pkgrel = 1
url = https://www.idris-lang.org/
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 0126970d866b..914769469124 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
#
pkgname=idris2-git
-pkgver=0.2.0.r404.g31b486c
+pkgver=0.3.0.r154.g37a4c6f1
pkgrel=1
pkgdesc="Funtional Programming Lanugage with Dependent Types"
url="https://www.idris-lang.org/"
@@ -20,7 +20,7 @@ _srcname="Idris2"
pkgver() {
cd $_srcname
- git describe --long | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
+ git describe --long --tags | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
}
build() {