.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14

pkgbase = lean-language-server
	pkgdesc = Language Server Protocol implementation for the Lean theorem prover, version 3
	pkgver = 3.2.0
	pkgrel = 1
	url = https://github.com/leanprover/lean-client-js
	arch = any
	license = MIT
	makedepends = npm
	depends = nodejs
	noextract = lean-language-server-3.2.0.tgz
	source = https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.2.0.tgz
	sha256sums = dd5686fe0d750a5b71118b6605b8d8b62f00cd5e57ea582f536b15653df85ed1

pkgname = lean-language-server