Fix git repo capitalization

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'
 }