Version 0.4.0

2 files changed, 5 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index da8e21a01c57..bf238691d7d4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,13 @@
 pkgbase = idris2
 	pkgdesc = Funtional Programming Lanugage with Dependent Types
-	pkgver = 0.3.0
+	pkgver = 0.4.0
 	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.3.0.tgz
-	sha256sums = 5be811e6327d3473dd84d4b498b78ab4046defed1063f28ac60dcd41aa229ec3
+	source = https://www.idris-lang.org/idris2-src/idris2-0.4.0.tgz
+	sha256sums = 68cab0e587d0788ab3b351033a0fd7528240ea4e385ba1c99ccadcd8e5e06b74
 
 pkgname = idris2
-
diff --git a/PKGBUILD b/PKGBUILD
index 87692dfd8a93..50250e85abf4 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 # 
 
 pkgname=idris2
-pkgver=0.3.0
+pkgver=0.4.0
 pkgrel=1
 pkgdesc="Funtional Programming Lanugage with Dependent Types"
 url="https://www.idris-lang.org/"
@@ -12,7 +12,7 @@ arch=('x86_64')
 depends=('chez-scheme')
 makedepends=('git')
 source=("https://www.idris-lang.org/idris2-src/idris2-${pkgver}.tgz")
-sha256sums=('5be811e6327d3473dd84d4b498b78ab4046defed1063f28ac60dcd41aa229ec3')
+sha256sums=('68cab0e587d0788ab3b351033a0fd7528240ea4e385ba1c99ccadcd8e5e06b74')
 
 _srcname="Idris2-$pkgver"