diff options
| author | GitHub Action | 2022-04-21 00:48:43 +0000 |
|---|---|---|
| committer | GitHub Action | 2022-04-21 00:48:43 +0000 |
| commit | ead568820f3db0ef29af8858db210826a0098f48 (patch) | |
| tree | b2aca68783cdfcdc00283cbfae4c1eb85ccbbf59 /.SRCINFO | |
| parent | 38790228fc162d38541c27eb870860ac29e6d8af (diff) | |
| download | aur-ead568820f3db0ef29af8858db210826a0098f48.tar.gz | |
Update from GitHub Actions: lean-language-server: update to 3.2.0-1
https://github.com/ouuan/AUR-packages/actions/runs/2199113438
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,14 +1,14 @@ pkgbase = lean-language-server pkgdesc = Language Server Protocol implementation for the Lean theorem prover, version 3 - pkgver = 3.1.1 + 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.1.1.tgz - source = https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.1.1.tgz - sha256sums = ac0240ee94043dd93c0e4bf897855f8b6433067a85bb88ae8965bcdcd8cfe5b4 + 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 |