Fix typo in pkgver

2 files changed, 7 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index d93f4479790d..56161a34abc9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,9 @@
+# Generated by mksrcinfo v8
+# Wed Mar 30 15:01:38 UTC 2016
 pkgbase = lean-git
 	pkgdesc = Lean Theorem Prover
-	pkgver = 0.2.0.r5708.0cda3f7
-	pkgrel = 3
+	pkgver = 0.2.0.r8512.226f8ba
+	pkgrel = 4
 	url = http://leanprover.github.io/
 	arch = x86_64
 	arch = i386
diff --git a/PKGBUILD b/PKGBUILD
index c7e7e690126d..0c0b624f4dc6 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,8 +2,8 @@
 
 pkgname=lean-git
 _pkgver=0.2.0
-pkgver="${_pkgver}.r5708.0cda3f7"
-pkgrel=3
+pkgver=${_pkgver}.r8512.226f8ba
+pkgrel=4
 pkgdesc='Lean Theorem Prover'
 arch=('x86_64' 'i386')
 url="http://leanprover.github.io/"
@@ -17,7 +17,7 @@ md5sums=(SKIP)
 
 pkgver() {
   cd "$srcdir/$pkgname"
-  printf "${_pkgver}.r%s.%s" "$(git rev-list --count HEAD)" "$(git-describe --always)"
+  printf "${_pkgver}.r%s.%s" "$(git rev-list --count HEAD)" "$(git describe --always)"
 }
 
 build() {