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

%NAME%
nusmv-debug

%BASE%
nusmv

%VERSION%
2.7.1-2

%DESC%
Detached debugging symbols for nusmv

%CSIZE%
6436863

%ISIZE%
32539574

%SHA256SUM%
1a4c3e3abcebe1fdb0509c2b73679151d7628738627dbfea11f83609ea4ca161

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

%LICENSE%
LGPL2.1

%ARCH%
x86_64

%BUILDDATE%
1767290902

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

%MAKEDEPENDS%
python
flex
bison
meson

