# Generated by makepkg 7.1.0
# using fakeroot version 1.37.1.2
pkgname = nuxmv-debug
pkgbase = nuxmv
xdata = pkgtype=debug
pkgver = 2.1.0-2
pkgdesc = Detached debugging symbols for nuxmv
url = http://nuxmv.fbk.eu/index.html
builddate = 1767292650
packager = lilac (on behalf of yurzi) <yurzi@foxmail.com>
size = 3171400
arch = x86_64
license = custom
