blob: 44f5c58d565f16058e19f0b7c5bb944979e49366 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Generated by mksrcinfo v8
# Thu Jul 5 13:54:08 UTC 2018
pkgbase = spot
pkgdesc = A C++11 library for omega automata manipulation and model checking.
pkgver = 2.6
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.tar.gz
sha256sums = 5dc3eb2de3b67706a77e649d8748641129513d9049d741ba22bb3677b5aac47d
pkgname = spot
|