Modify PKGBUILD to compute correct version

2 files changed, 4 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 192f054c4d5a..d186e48c4a42 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Mon Sep 17 22:08:09 UTC 2018
+# Fri Sep 21 20:30:42 UTC 2018
 pkgbase = lean-git
 	pkgdesc = Lean Theorem Prover
-	pkgver = 3.3.0.r668.gb13ac127f
+	pkgver = 3.4.1.r4.gb13ac127f
 	pkgrel = 1
 	url = http://leanprover.github.io/
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 84dccbde4ba9..1d91fe736911 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,8 +2,7 @@
 # Contributor: Edward W Ayers <ewa21 at cam.ac.uk>
 
 pkgname=lean-git
-_pkgver=3.3.0
-pkgver=3.3.0.r668.gb13ac127f
+pkgver=3.4.1.r4.gb13ac127f
 pkgrel=1
 pkgdesc='Lean Theorem Prover'
 arch=('x86_64' 'i386')
@@ -18,7 +17,7 @@ md5sums=(SKIP)
 
 pkgver() {
   cd "$srcdir/$pkgname"
-  git describe --long | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
+  git describe --long --tags | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
 }
 
 build() {