pkgbase = lean-language-server
	pkgdesc = Language Server Protocol implementation for the Lean theorem prover, version 3
	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.4.0.tgz
	source = https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.4.0.tgz
	sha256sums = 0d53b0a075f3a03bf8333b26fdc0969d284ef6b47bb8ebcd97a298d05e5824d6

pkgname = lean-language-server