blob: c8587bba286406812fccaf6e3d7f0e80f127b7b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Generated by mksrcinfo v8
# Wed Oct 17 12:48:14 UTC 2018
pkgbase = spot
pkgdesc = A C++11 library for omega automata manipulation and model checking.
pkgver = 2.6.3
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.6.3.tar.gz
sha256sums = 2b24dd7f841cbb4cba04c5be106bb2b3140c453ca216cdf444314c2ee4208432
pkgname = spot
|