blob: 0244232130a6575f7bc880b3cfca8429caceb66d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Generated by mksrcinfo v8
# Thu Jun 1 15:08:11 UTC 2017
pkgbase = spin
pkgdesc = Tool for the formal verification of distributed software systems
pkgver = 6.4.6
pkgrel = 1
url = https://spinroot.com/
arch = i686
arch = x86_64
license = custom:SPIN
depends = glibc
optdepends = tcl: ispin graphical interface
optdepends = swarm: improved performance on large verification problems
optdepends = modex: extract verification models from implementation C code
optdepends = ispin: GUI for Spin
source = https://spinroot.com/spin/Src/spin646.tar.gz
source = LICENSE.txt
sha512sums = 77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad
sha512sums = a5b63fc7136a2631c9a27619953abe2e9d6cab179042dd56bb76afbffe1966ad7edb41a131af5d6663f3cdbf77128833232e9174c0ef817b8522bfd978add595
pkgname = spin
|