blob: 6be69f683d4e225f05efb2c93f6eb3ab358db8c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = spot
pkgdesc = A C++14 library for omega automata manipulation and model checking.
pkgver = 2.9.4
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.9.4.tar.gz
sha256sums = e11208323baabe9b5f98098d4b9bb39803fb102a68abbbaf900f1fcd578f0f85
pkgname = spot
|