# Generated by makepkg 6.1.0
# using fakeroot version 1.35
pkgname = spot
pkgbase = spot
xdata = pkgtype=pkg
pkgver = 2.11.6-1
pkgdesc = A C++17 library for LTL, omega automata manipulation and model checking.
url = https://spot.lrde.epita.fr/
builddate = 1719655835
packager = Unknown Packager
size = 14753317
arch = x86_64
license = GPL3
depend = glibc
depend = sh
depend = python
depend = libtool
