.SRCINFO


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

pkgbase = spot
	pkgdesc = A C++11 library for omega automata manipulation and model checking.
	pkgver = 2.8.7
	pkgrel = 1
	url = https://spot.lrde.epita.fr/
	arch = i686
	arch = x86_64
	license = GPL3
	depends = glibc
	depends = sh
	depends = python
	depends = libtool
	source = http://www.lrde.epita.fr/dload/spot/spot-2.8.7.tar.gz
	sha256sums = bdbeb4454f0244b6b77e1b04458558ab62471aaa21918e104602e6da99969c1f

pkgname = spot