blob: bab5d98f06c40b9a4d49499f6c9b6b80294ea47d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
# Generated by mksrcinfo v8
# Wed May 15 13:28:41 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
|