blob: a66a77a447fe146a40494cd5410890897cda12b9 (
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.8.7
pkgrel = 2
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
|