2 files changed, 2 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 8d0e52b8e1eb..459353a334a3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = lean2-git
 	pkgdesc = Lean Theorem Prover 2
-	pkgver = 0.2.1
+	pkgver = 0.2.2
 	pkgrel = 1
 	url = https://github.com/Bolt64/lean2
 	arch = x86_64
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')