diff options
author | GitHub Action | 2022-06-24 01:52:41 +0000 |
---|---|---|
committer | GitHub Action | 2022-06-24 01:52:41 +0000 |
commit | d20816e35a4914f04ede9f3dcd28fbf2daa884ff (patch) | |
tree | eb9da3103ed718d6000ef099bad04c21fa01cdfb /PKGBUILD | |
parent | ead568820f3db0ef29af8858db210826a0098f48 (diff) | |
download | aur-d20816e35a4914f04ede9f3dcd28fbf2daa884ff.tar.gz |
Update from GitHub Actions: lean-language-server: update to 3.3.1-1
https://github.com/ouuan/AUR-packages/actions/runs/2553050416
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.2.0 +pkgver=3.3.1 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=('dd5686fe0d750a5b71118b6605b8d8b62f00cd5e57ea582f536b15653df85ed1') +sha256sums=('b8b210bf70c8284b3569f2b31b73edb44633f9988bc1b468f2dcbe1f2166853c') package() { cd "$srcdir" |