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

%NAME%
spot

%BASE%
spot

%VERSION%
2.15.1-2

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

%CSIZE%
4936956

%ISIZE%
19233462

%SHA256SUM%
cf09fa286e7a73702739c9af22983507cbddb659642135a1ac80b809db6adbec

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780151307

%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

