summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authormb642020-06-01 03:37:55 -0400
committermb642020-06-01 03:37:55 -0400
commitf0aa0c8a8a3430087f3543fb7a946eb4a801dda2 (patch)
tree4f31ed42ad323c51f02d9f5fe8e41c4932f39cdf
parent0da10a0f7c27b9bfaff93f7ac073529daef52733 (diff)
downloadaur-f0aa0c8a8a3430087f3543fb7a946eb4a801dda2.tar.gz
Fix git repo capitalization
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD8
2 files changed, 6 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 24a59b54e12..35877841fcd 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 df9c69a4a1d..e3ece225465 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'
}