summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index c9ea299dcbc5..80bfddf50a3d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
pkgname=lean2-git
#_pkgver=0.2.0
-pkgver=0.2.1
+pkgver=0.2.2
pkgrel=1
pkgdesc='Lean Theorem Prover 2'
arch=('x86_64')