pkgbase = tina-tpn
	pkgdesc = TIme Petri Net Analyzer
	pkgver = 3.7.5
	pkgrel = 1
	url = http://projects.laas.fr/tina/home.php
	arch = x86_64
	license = unknown
	depends = gmp
	depends = graphviz
	options = !strip
	source = http://projects.laas.fr/tina/binaries/tina-3.7.5-amd64-linux.tgz
	md5sums = 4602148819224285835f4b6c3d2bc653

pkgname = tina-tpn