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

%NAME%
nuxmv-debug

%BASE%
nuxmv

%VERSION%
2.2.0-2

%DESC%
Detached debugging symbols for nuxmv

%CSIZE%
8938

%ISIZE%
36344

%SHA256SUM%
bec25087f5b4061bb88d832ad5e652eee3d6b820f3960b535e6dd1a946d2c353

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

%LICENSE%
LicenseRef-custom

%ARCH%
x86_64

%BUILDDATE%
1781336086

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

