# Generated by makepkg 7.0.0
# using fakeroot version 1.36.2
pkgname = spot
pkgbase = spot
xdata = pkgtype=pkg
pkgver = 2.12.2-1
pkgdesc = A C++17 library for LTL, omega automata manipulation and model checking.
url = https://spot.lrde.epita.fr/
builddate = 1738083203
packager = AUR Builder <luca+aurbuilder@acul.me>
size = 15388923
arch = x86_64
license = GPL3
depend = glibc
depend = sh
depend = python
depend = libtool
