blob: a125f47742782f3cd2ef27e863bd6e73a36744be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
pkgbase = spot
pkgdesc = A C++11 library for omega automata manipulation and model checking.
pkgver = 2.8.4
pkgrel = 1
url = https://spot.lrde.epita.fr/
arch = i686
arch = x86_64
license = GPL3
depends = glibc
depends = sh
depends = python
source = http://www.lrde.epita.fr/dload/spot/spot-2.8.4.tar.gz
sha256sums = 3f71df2874a3dbc92983c5bf060fba0eb0ed13acaadc9af3542ab793a0de50f9
pkgname = spot
|