%FILENAME%
spot-2.15.1-1-x86_64.pkg.tar.zst

%NAME%
spot

%BASE%
spot

%VERSION%
2.15.1-1

%DESC%
A platform for LTL and ω-automata manipulation (C++ library, CLI tools, and Python bindings)

%CSIZE%
4937039

%ISIZE%
19233462

%SHA256SUM%
99c6f7d5a48bcd43cb64bf2a99ea8c6ba6ae1dcec4007c806fe4d957a6415ddb

%URL%
https://spot.lre.epita.fr/

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1779323448

%PACKAGER%
lilac (on behalf of yurzi) <yurzi@foxmail.com>

%DEPENDS%
gcc-libs
sh
libtool
python

%OPTDEPENDS%
graphviz: for displaying automata with dot/xdot
doxygen: for generating documentation
texlive-core: for latex output support in some tools
ipython: for IPython/Jupyter notebook integration

%MAKEDEPENDS%
gcc
make
swig
python

