# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = nuxmv
pkgbase = nuxmv
xdata = pkgtype=pkg
pkgver = 2.2.0-2
pkgdesc = A new symbolic model checker for the analysis of synchronous finite-state and infinite-state systems
url = http://nuxmv.fbk.eu/index.html
builddate = 1781336086
packager = lilac (on behalf of Yurzi) <yurzi@foxmail.com>
size = 215079095
arch = x86_64
license = LicenseRef-custom
depend = glibc
depend = gcc-libs
optdepend = python: for scripts in /usr/share/nuxmv/contrib/
