diff options
| author | Ruize Tang | 2022-11-03 19:19:15 +0800 |
|---|---|---|
| committer | Ruize Tang | 2022-11-03 19:19:15 +0800 |
| commit | 26ac2e3528e83ffa8a84a4ed0b4e4524dfa47c5f (patch) | |
| tree | 69d72c392a738ff10d2a92b951d27e6001932a7c /PKGBUILD | |
| parent | 1a81b59798138df51f5c51c2cde202da85f4f502 (diff) | |
| download | aur-26ac2e3528e83ffa8a84a4ed0b4e4524dfa47c5f.tar.gz | |
Update to 1.8.0.r8105.gf85f396
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ # Contributor: Genki Sky <alt+archlinux.org@genki.is> pkgname=tla-toolbox-nightly -pkgver=1.8.0.r8104.ge880daa +pkgver=1.8.0.r8105.gf85f396 majorver=${pkgver%.r*} pkgrel=1 pkgdesc='IDE for the TLA+ tools (nightly)' |