diff options
| author | Ruize Tang | 2023-03-10 08:06:44 +0800 |
|---|---|---|
| committer | Ruize Tang | 2023-03-10 08:06:44 +0800 |
| commit | b3dbb26141b98cacef6e8cd52499267493a7e551 (patch) | |
| tree | 64a8b1dd4f7368d3cf118c765e0c4a4b0f720a99 /PKGBUILD | |
| parent | c7d7911575747671003ab1b603da597bd34134d9 (diff) | |
| download | aur-b3dbb26141b98cacef6e8cd52499267493a7e551.tar.gz | |
Update to 1.8.0.r8134.g9035dfa
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.r8132.gc865dae +pkgver=1.8.0.r8134.g9035dfa majorver=${pkgver%.r*} pkgrel=1 pkgdesc='IDE for the TLA+ tools (nightly)' |