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