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