summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD8
2 files changed, 6 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 24a59b54e125..35877841fcd7 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = idris2-git
pkgdesc = Funtional Programming Lanugage with Dependent Types
- pkgver = 0.2.0.r30.g8b062f4
+ pkgver = 0.2.0.r100.ge4c6aa2
pkgrel = 1
url = https://www.idris-lang.org/
arch = x86_64
@@ -9,7 +9,7 @@ pkgbase = idris2-git
depends = chez-scheme
provides = idris2
conflicts = idris2
- source = git+https://github.com/idris-lang/idris2.git
+ source = git+https://github.com/idris-lang/Idris2.git
md5sums = SKIP
pkgname = idris2-git
diff --git a/PKGBUILD b/PKGBUILD
index df9c69a4a1d5..e3ece2254654 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
#
pkgname=idris2-git
-pkgver=0.2.0.r30.g8b062f4
+pkgver=0.2.0.r100.ge4c6aa2
pkgrel=1
pkgdesc="Funtional Programming Lanugage with Dependent Types"
url="https://www.idris-lang.org/"
@@ -13,13 +13,13 @@ depends=('chez-scheme')
makedepends=('git')
provides=('idris2')
conflicts=('idris2')
-source=('git+https://github.com/idris-lang/idris2.git')
+source=('git+https://github.com/idris-lang/Idris2.git')
md5sums=('SKIP')
-_srcname="idris2"
+_srcname="Idris2"
pkgver() {
- cd idris2
+ cd $_srcname
git describe --long | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
}