blob: 579c9d4de4c860ab7acc8af4eb8bd266bc4c7996 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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
|