%FILENAME%
nusmv-2.7.1-2-x86_64.pkg.tar.zst

%NAME%
nusmv

%BASE%
nusmv

%VERSION%
2.7.1-2

%DESC%
A new symbolic model checker

%CSIZE%
1646866

%ISIZE%
15577004

%SHA256SUM%
353b83f0b8a7a9c820ffe3ff609d33de7d33acb8add28a5affd803e8a5452f0f

%URL%
http://nusmv.fbk.eu/index.html

%LICENSE%
LGPL2.1

%ARCH%
x86_64

%BUILDDATE%
1767290902

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

%DEPENDS%
libxml2
libedit

%OPTDEPENDS%
perl: for scripts in /usr/share/nusmv/contrib/

%MAKEDEPENDS%
python
flex
bison
meson

