diff options
author | Joan Bruguera | 2019-04-21 17:16:59 +0200 |
---|---|---|
committer | Joan Bruguera | 2019-04-21 17:16:59 +0200 |
commit | 5bdc859636db415708d6496e8296cb67c6cb9f38 (patch) | |
tree | 528e679d2a55c3e5a3bea15d70c40f50d354449f | |
parent | 2933a3f5e8c0a3080acbf74cbd95a335c2746bcb (diff) | |
download | aur-5bdc859636db415708d6496e8296cb67c6cb9f38.tar.gz |
Forgot to update SRCINFO.
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = ltsa pkgdesc = Labelled Transition System Analyser, a verification tool for concurrent systems pkgver = 3.0 - pkgrel = 6 + pkgrel = 7 url = http://www.doc.ic.ac.uk/ltsa/ install = ltsa.install arch = any |