blob: c2fd0fd7b40ed78b540a100f21d37ad9d79c0422 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# Generated by mksrcinfo v8
# Wed Mar 2 19:29:03 UTC 2016
pkgbase = nusmv
pkgdesc = A new symbolic model checker
pkgver = 2.6.0
pkgrel = 2
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
sha256sums = dba953ed6e69965a68cd4992f9cdac6c449a3d15bf60d200f704d3a02e4bbcbb
pkgname = nusmv
|