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

%NAME%
spot

%BASE%
spot

%VERSION%
2.12.2-1

%DESC%
A C++17 library for LTL, omega automata manipulation and model checking.

%CSIZE%
4101722

%ISIZE%
15388923

%SHA256SUM%
3e3225b7fdfae32b34e403fa17a303310df8d8343fc695a7fbdb54f970214624

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

%LICENSE%
GPL3

%ARCH%
x86_64

%BUILDDATE%
1738083203

%PACKAGER%
AUR Builder <luca+aurbuilder@acul.me>

%DEPENDS%
glibc
sh
python
libtool

