blob: 3ed0e6b302df36db7bb760d4c9b03eedcfdd6ff6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = nusmv
pkgdesc = A new symbolic model checker
pkgver = 2.5.4
pkgrel = 3
url = http://nusmv.irst.itc.it/NuSMV/
arch = i686
arch = x86_64
license = LGPL2.1
makedepends = ghostscript
makedepends = texlive-latexextra
depends = expat
optdepends = perl: for scripts in /usr/share/nusmv/contrib/
source = http://nusmv.fbk.eu/distrib/NuSMV-2.5.4.tar.gz
sha256sums = 3c250624cba801b1f62f50733f9507b0f3b3ca557ce1cd65956178eb273f1bdf
pkgname = nusmv
|