1 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 54a9107ac852..f7e653c7941e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,14 @@
 pkgbase = idris2
 	pkgdesc = Funtional Programming Lanugage with Dependent Types
-	pkgver = 0.2.1
+	pkgver = 0.2.2
 	pkgrel = 1
 	url = https://www.idris-lang.org/
 	arch = x86_64
 	license = custom
 	makedepends = git
 	depends = chez-scheme
-	source = https://www.idris-lang.org/idris2-src/idris2-0.2.1.tgz
-	sha256sums = 8a32f6e93479deaf7674671ce7f06e5cc3c32afc10dccb96bd0aed34d47e9334
+	source = https://www.idris-lang.org/idris2-src/idris2-0.2.2.tgz
+	sha256sums = faadedda48e103163af1cc3edaf646321c8eec43e1ec45c7b0f85c14334449e3
 
 pkgname = idris2