diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ pkgname=tla-tools pkgver=1.5.7 -pkgrel=1 +pkgrel=2 pkgdesc="Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)" arch=('any') url="http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html" |