diff options
| author | Ruize Tang | 2023-02-10 08:00:33 +0800 |
|---|---|---|
| committer | Ruize Tang | 2023-02-10 08:00:33 +0800 |
| commit | 79e237d6d0116e7205a5e1eb212f7b5010b8d917 (patch) | |
| tree | a93f14599b842f882c4cabd9032be2d5769ad618 /PKGBUILD | |
| parent | 5e3c442e074ee8fe03f3cb7f2b056a8003fa72c5 (diff) | |
| download | aur-79e237d6d0116e7205a5e1eb212f7b5010b8d917.tar.gz | |
Update to 1.8.0.r8129.gcab6f13
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.r8127.g753a970 +pkgver=1.8.0.r8129.gcab6f13 majorver=${pkgver%.r*} pkgrel=1 pkgdesc='IDE for the TLA+ tools (nightly)' |