.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13

pkgbase = verifytapn-git
	pkgdesc = VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.
	pkgver = a12a596
	pkgrel = 1
	url = https://www.tapaal.net/
	arch = x86_64
	license = GPL2
	makedepends = cmake
	makedepends = git
	source = verifytapn-git::git+https://github.com/TAPAAL/verifytapn.git
	sha512sums = SKIP

pkgname = verifytapn-git