Fix pkgver() to output correct format of version string

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index acbbdf86c037..8c73ab7f5d31 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Fri May 27 11:05:35 UTC 2016
+# Tue Nov  7 16:44:00 UTC 2017
 pkgbase = lean-git
 	pkgdesc = Lean Theorem Prover
-	pkgver = 0.2.0.r8554.9fa30e3
+	pkgver = 3.3.0.r54.g393008586
 	pkgrel = 1
 	url = http://leanprover.github.io/
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 6d1dc97ac317..e26a4252898a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 
 pkgname=lean-git
-_pkgver=0.2.0
-pkgver=${_pkgver}.r8554.9fa30e3
+_pkgver=3.3.0
+pkgver=3.3.0.r54.g393008586
 pkgrel=1
 pkgdesc='Lean Theorem Prover'
 arch=('x86_64' 'i386')
@@ -17,7 +17,7 @@ md5sums=(SKIP)
 
 pkgver() {
   cd "$srcdir/$pkgname"
-  printf "${_pkgver}.r%s.%s" "$(git rev-list --count HEAD)" "$(git describe --always)"
+  git describe --long | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
 }
 
 build() {