.SRCINFO


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

pkgbase = mata
	pkgdesc = Open source automata library that offers interface for different kinds of automata (NFA, AFA, etc.)
	pkgver = 0.51.0
	pkgrel = 1
	epoch = 1
	url = https://github.com/VeriFIT/mata
	arch = x86_64
	license = GPL3
	makedepends = cmake
	depends = gcovr
	depends = lcov
	depends = xdg-utils
	source = https://github.com/VeriFIT/mata/archive/0.51.0.tar.gz
	sha256sums = 514d5695886ee02fb7ddf9e5e2a5293354fa0cbdc02fe7acf74d233f9e8a350b

pkgname = mata