blob: 5332348260cddbfc9452acfbeb6e45ca9ea2fab3 (
plain)
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.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
|