# Generated by mksrcinfo v8
# Wed May 15 12:46:24 UTC 2019
pkgbase = nusmv
	pkgdesc = A new symbolic model checker
	pkgver = 2.6.0
	pkgrel = 3
	url = http://nusmv.fbk.eu/index.html
	arch = i686
	arch = x86_64
	license = LGPL2.1
	makedepends = cmake
	makedepends = python2
	makedepends = ghostscript
	makedepends = texlive-latexextra
	depends = libxml2
	optdepends = perl: for scripts in /usr/share/nusmv/contrib/
	source = http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz
	source = cmake.patch
	source = cudd-waitstatus.patch
	sha256sums = dba953ed6e69965a68cd4992f9cdac6c449a3d15bf60d200f704d3a02e4bbcbb
	sha256sums = 7bc96f6a87b2c8a8b931d4ce17a5d49a5decf468b612165d4385753906fc1103
	sha256sums = 0abb360d7856809461f75d4e4ba7ba34bc62b40efed256acbca67b0757d66e77

pkgname = nusmv