2 files changed, 10 insertions, 11 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 83acc527410b..a93d5bfb44c9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,10 +1,9 @@
 pkgbase = lean2-git
 	pkgdesc = Lean Theorem Prover 2
-	pkgver = 0.2.0.r8682.eedbd197d
+	pkgver = 0.2.1
 	pkgrel = 1
-	url = http://leanprover.github.io/
+	url = https://github.com/leanprover/lean2
 	arch = x86_64
-	arch = i386
 	license = Apache
 	makedepends = git
 	makedepends = cmake
diff --git a/PKGBUILD b/PKGBUILD
index 2d7dad971134..7798f34c321c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,12 +1,12 @@
 # Maintainer: Sayantan Khan <bolt.khan at gmail dot com>
 
 pkgname=lean2-git
-_pkgver=0.2.0
-pkgver=0.2.0.r8682.eedbd197d
+#_pkgver=0.2.0
+pkgver=0.2.1
 pkgrel=1
 pkgdesc='Lean Theorem Prover 2'
-arch=('x86_64' 'i386')
-url="http://leanprover.github.io/"
+arch=('x86_64')
+url="https://github.com/leanprover/lean2"
 license=('Apache')
 depends=('gmp' 'mpfr' 'lua>=5.2')
 makedepends=('git' 'cmake' 'python' 'gperftools')
@@ -15,10 +15,10 @@ conflicts=('lean-bin')
 source=("$pkgname::git+https://github.com/leanprover/lean2.git")
 md5sums=(SKIP)
 
-pkgver() {
-  cd "$srcdir/$pkgname"
-  printf "${_pkgver}.r%s.%s" "$(git rev-list --count HEAD)" "$(git describe --always)"
-}
+#pkgver() {
+  #cd "$srcdir/$pkgname"
+  #printf "${_pkgver}.r%s.%s" "$(git rev-list --count HEAD)" "$(git describe --always)"
+#}
 
 prepare() {
   git clone https://github.com/leanprover/emacs-dependencies "$pkgname"/src/emacs/dependencies