diff options
| author | Genki Sky | 2017-04-06 04:47:18 -0400 |
|---|---|---|
| committer | Genki Sky | 2017-04-06 04:49:26 -0400 |
| commit | 064e03cc899a1097437aa907103cee9e0f90b016 (patch) | |
| tree | a9d63cf813afdb03515b4981f32668a7902a8e86 /.SRCINFO | |
| parent | 6a688910e06036eea02137a6568edfe269568169 (diff) | |
| download | aur-064e03cc899a1097437aa907103cee9e0f90b016.tar.gz | |
fix: Follow package guidelines, update email
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -3,13 +3,12 @@ pkgbase = tla-toolbox pkgver = 1.5.2 pkgrel = 1 url = http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html + arch = i686 arch = x86_64 license = MIT depends = java-runtime - provides = tla-toolbox - conflicts = tla-toolbox source = https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip - md5sums = SKIP + md5sums = a93f9ea07ca303d68f81f2be386f9c84 pkgname = tla-toolbox |