# Generated by makepkg 7.1.0
# using fakeroot version 1.38
pkgname = spot
pkgbase = spot
xdata = pkgtype=pkg
pkgver = 2.15.1-1
pkgdesc = A platform for LTL and ω-automata manipulation (C++ library, CLI tools, and Python bindings)
url = https://spot.lre.epita.fr/
builddate = 1779323448
packager = lilac (on behalf of yurzi) <yurzi@foxmail.com>
size = 19233462
arch = x86_64
license = GPL-3.0-only
depend = gcc-libs
depend = sh
depend = libtool
depend = python
optdepend = graphviz: for displaying automata with dot/xdot
optdepend = doxygen: for generating documentation
optdepend = texlive-core: for latex output support in some tools
optdepend = ipython: for IPython/Jupyter notebook integration
makedepend = gcc
makedepend = make
makedepend = swig
makedepend = python
