blob: 8e1c7d2b738c91676bf87966c3a53528af6dfdd3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
pkgbase = nusmv
pkgdesc = A new symbolic model checker
pkgver = 2.6.0
pkgrel = 1
url = http://nusmv.irst.itc.it/NuSMV/
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
sha256sums = dba953ed6e69965a68cd4992f9cdac6c449a3d15bf60d200f704d3a02e4bbcbb
pkgname = nusmv
|