diff options
| author | Ruize oy | 2023-11-10 08:00:34 +0800 |
|---|---|---|
| committer | Ruize oy | 2023-11-10 08:00:34 +0800 |
| commit | 0b5ea2d7b1624930ba0f0e3c3f63362d4aa5f248 (patch) | |
| tree | 1f0fd559731bda873f7a9b344716b65a374e7cb9 /PKGBUILD | |
| parent | 38bc51098d8e394c5e844f38e19c43f34f748537 (diff) | |
| download | aur-0b5ea2d7b1624930ba0f0e3c3f63362d4aa5f248.tar.gz | |
Update to 1.8.0.r8227.gc86f3c7
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.r8217.g7ef5199 +pkgver=1.8.0.r8227.gc86f3c7 majorver=${pkgver%.r*} pkgrel=1 pkgdesc='IDE for the TLA+ tools (nightly)' |