%FILENAME%
nuxmv-2.2.0-2-x86_64.pkg.tar.zst

%NAME%
nuxmv

%BASE%
nuxmv

%VERSION%
2.2.0-2

%DESC%
A new symbolic model checker for the analysis of synchronous finite-state and infinite-state systems

%CSIZE%
26440884

%ISIZE%
215079095

%SHA256SUM%
71e815f0039ed6f523de46bf58b57ad55ed7f6dac88dad901456250b75edff9f

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

%LICENSE%
LicenseRef-custom

%ARCH%
x86_64

%BUILDDATE%
1781336086

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

%DEPENDS%
glibc
gcc-libs

%OPTDEPENDS%
python: for scripts in /usr/share/nuxmv/contrib/

