.SRCINFO


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

pkgbase = mata
	pkgdesc = Open source automata library that offers interface for different kinds of automata (NFA, AFA, etc.)
	pkgver = 1.4.1
	pkgrel = 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/1.4.1.tar.gz
	sha256sums = 33f5a7f4d68403ab2e5c48b4050162c25702d0f89ef9c101f2573ff9af7ac09a

pkgname = mata