# Generated by makepkg 7.1.0
# using fakeroot version 1.37.1.2
pkgname = nusmv
pkgbase = nusmv
xdata = pkgtype=pkg
pkgver = 2.7.1-2
pkgdesc = A new symbolic model checker
url = http://nusmv.fbk.eu/index.html
builddate = 1767290902
packager = lilac (on behalf of yurzi) <yurzi@foxmail.com>
size = 15577004
arch = x86_64
license = LGPL2.1
depend = libxml2
depend = libedit
optdepend = perl: for scripts in /usr/share/nusmv/contrib/
makedepend = python
makedepend = flex
makedepend = bison
makedepend = meson
