diff options
| author | GitHub Action | 2022-07-18 04:49:04 +0000 |
|---|---|---|
| committer | GitHub Action | 2022-07-18 04:49:04 +0000 |
| commit | 3740985baedacd47e74cc85116d4968e7d7771cd (patch) | |
| tree | 03e2334d597a2ee7e4c86c798165296322526e41 /.SRCINFO | |
| parent | d20816e35a4914f04ede9f3dcd28fbf2daa884ff (diff) | |
| download | aur-lean-language-server.tar.gz | |
Update from GitHub Actions: lean-language-server: update to 3.4.0-1
https://github.com/ouuan/AUR-packages/actions/runs/2688210607
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.3.1 + 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.3.1.tgz - source = https://registry.npmjs.org/lean-language-server/-/lean-language-server-3.3.1.tgz - sha256sums = b8b210bf70c8284b3569f2b31b73edb44633f9988bc1b468f2dcbe1f2166853c + 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 |