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 /PKGBUILD | |
parent | d20816e35a4914f04ede9f3dcd28fbf2daa884ff (diff) | |
download | aur-3740985baedacd47e74cc85116d4968e7d7771cd.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 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,7 +2,7 @@ _npmname=lean-language-server pkgname=lean-language-server -pkgver=3.3.1 +pkgver=3.4.0 pkgrel=1 pkgdesc='Language Server Protocol implementation for the Lean theorem prover, version 3' arch=('any') @@ -12,7 +12,7 @@ depends=('nodejs') makedepends=('npm') source=(https://registry.npmjs.org/$_npmname/-/$_npmname-$pkgver.tgz) noextract=($_npmname-$pkgver.tgz) -sha256sums=('b8b210bf70c8284b3569f2b31b73edb44633f9988bc1b468f2dcbe1f2166853c') +sha256sums=('0d53b0a075f3a03bf8333b26fdc0969d284ef6b47bb8ebcd97a298d05e5824d6') package() { cd "$srcdir" |