diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..579c9d4de4c8 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,21 @@ +pkgbase = ltsa + pkgdesc = Labelled Transition System Analyser, a verification tool for concurrent systems + pkgver = 3.0 + pkgrel = 6 + url = http://www.doc.ic.ac.uk/ltsa/ + install = ltsa.install + arch = any + license = unknown + makedepends = imagemagick + makedepends = setconf + makedepends = gendesk + depends = java-runtime + depends = bash + depends = libcups + source = http://www.doc.ic.ac.uk/~jnm/book/ltsa/ltsatool.zip + source = ltsa.sh + sha256sums = 9ed894c4f2ae22e119a4f48e6e3f36b38b08f8fe85a6ac85564f4c5045fe9046 + sha256sums = 34f53ef6b330e49d3eaeb8754703a09ac98d95052bf6c08abb9f0161bb66ff84 + +pkgname = ltsa + |