blob: 4da7b271ddc9d5b92c01d14548eeea056352836f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
pkgbase = ltsa
pkgdesc = Labelled Transition System Analyser, a verification tool for concurrent systems
pkgver = 3.0
pkgrel = 8
url = http://www.doc.ic.ac.uk/ltsa/
install = ltsa.install
arch = any
license = unknown
makedepends = imagemagick
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
|