diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..ba290fe50861 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = nusmv + pkgdesc = A new symbolic model checker + pkgver = 2.5.4 + pkgrel = 2 + url = http://nusmv.irst.itc.it/NuSMV/ + arch = i686 + arch = x86_64 + license = LGPL2.1 + makedepends = ghostscript + 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 + |