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

%NAME%
nusmv-debug

%BASE%
nusmv

%VERSION%
2.7.1-3

%DESC%
Detached debugging symbols for nusmv

%CSIZE%
6804317

%ISIZE%
34108566

%SHA256SUM%
675b1c1fae75ccc36cbf9b7abaf86e4d624f908b2e2688cd09d83a867cd8645f

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

%LICENSE%
LGPL2.1

%ARCH%
x86_64

%BUILDDATE%
1780149779

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

%MAKEDEPENDS%
python
flex
bison
meson

