diff options
| author | Ruize Tang | 2023-03-16 08:00:32 +0800 |
|---|---|---|
| committer | Ruize Tang | 2023-03-16 08:00:32 +0800 |
| commit | 3e2bedc574aa3eb16d842ad0caf9d9a781c6ee42 (patch) | |
| tree | 64a8b1dd4f7368d3cf118c765e0c4a4b0f720a99 /PKGBUILD | |
| parent | 856b63fe9a70275a172cf9efcf5e50af962ab071 (diff) | |
| download | aur-3e2bedc574aa3eb16d842ad0caf9d9a781c6ee42.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.r.g +pkgver=1.8.0.r8134.g9035dfa majorver=${pkgver%.r*} pkgrel=1 pkgdesc='IDE for the TLA+ tools (nightly)' |