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

%NAME%
nusmv

%BASE%
nusmv

%VERSION%
2.7.1-3

%DESC%
A new symbolic model checker

%CSIZE%
1691530

%ISIZE%
15720508

%SHA256SUM%
92fdb54c1ed49fb7dd8f49a06061fcce06e966abce3eb379a9c06437cc2403d7

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

%LICENSE%
LGPL2.1

%ARCH%
x86_64

%BUILDDATE%
1780149779

%PACKAGER%
lilac (on behalf of GitHub) <noreply@github.com>

%DEPENDS%
libxml2
libedit

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

%MAKEDEPENDS%
python
flex
bison
meson

