2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index ad47f0e57c90..5332348260cd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,14 @@
 pkgbase = lean-language-server
 	pkgdesc = Language Server Protocol implementation for the Lean theorem prover, version 3
-	pkgver = 3.3.1
+	pkgver = 3.4.0
 	pkgrel = 1
 	url = https://github.com/leanprover/lean-client-js
 	arch = any
 	license = MIT
 	makedepends = npm
 	depends = nodejs
-	noextract = lean-language-server-3.3.1.tgz
-	source = https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.3.1.tgz
-	sha256sums = b8b210bf70c8284b3569f2b31b73edb44633f9988bc1b468f2dcbe1f2166853c
+	noextract = lean-language-server-3.4.0.tgz
+	source = https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.4.0.tgz
+	sha256sums = 0d53b0a075f3a03bf8333b26fdc0969d284ef6b47bb8ebcd97a298d05e5824d6
 
 pkgname = lean-language-server
diff --git a/PKGBUILD b/PKGBUILD
index e7a4941cc5d4..3015a5eec859 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 _npmname=lean-language-server
 pkgname=lean-language-server
-pkgver=3.3.1
+pkgver=3.4.0
 pkgrel=1
 pkgdesc='Language Server Protocol implementation for the Lean theorem prover, version 3'
 arch=('any')
@@ -12,7 +12,7 @@ depends=('nodejs')
 makedepends=('npm')
 source=(https://registry.npmjs.org/$_npmname/-/$_npmname-$pkgver.tgz)
 noextract=($_npmname-$pkgver.tgz)
-sha256sums=('b8b210bf70c8284b3569f2b31b73edb44633f9988bc1b468f2dcbe1f2166853c')
+sha256sums=('0d53b0a075f3a03bf8333b26fdc0969d284ef6b47bb8ebcd97a298d05e5824d6')
 
 package() {
     cd "$srcdir"