diff options
| author | GitHub Action | 2021-09-11 10:36:25 +0000 |
|---|---|---|
| committer | GitHub Action | 2021-09-11 10:36:25 +0000 |
| commit | 38790228fc162d38541c27eb870860ac29e6d8af (patch) | |
| tree | b425cb8577a53808294ca700b1d8f517188bfb3e /.SRCINFO | |
| download | aur-38790228fc162d38541c27eb870860ac29e6d8af.tar.gz | |
Update from GitHub Actions: lean-language-server: init at 3.1.1
https://github.com/ouuan/AUR-packages/actions/runs/1224147059
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..204ee4f57c87 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = lean-language-server + pkgdesc = Language Server Protocol implementation for the Lean theorem prover, version 3 + pkgver = 3.1.1 + pkgrel = 1 + url = https://github.com/leanprover/lean-client-js + arch = any + license = MIT + makedepends = npm + depends = nodejs + noextract = lean-language-server-3.1.1.tgz + source = https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.1.1.tgz + sha256sums = ac0240ee94043dd93c0e4bf897855f8b6433067a85bb88ae8965bcdcd8cfe5b4 + +pkgname = lean-language-server |