blob: 7434d62e50474e34350ad02da98a3ecad61bf4e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# Generated by mksrcinfo v8
# Sun Jun 25 11:04:19 UTC 2017
pkgbase = spin
pkgdesc = Tool for the formal verification of distributed software systems
pkgver = 6.4.6
pkgrel = 2
url = https://spinroot.com/
arch = i686
arch = x86_64
license = custom:BSD3
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://github.com/freswa/spin/archive/6.4.6.tar.gz
sha512sums = 5c59d8af7e8f73c855aa1be7059cb7881829ef3d9b0a8775c182d6536bf4250f966cf13efad5ec1926d8b32a34e7b8428022e1c52346015bcb6056774da5818f
pkgname = spin
|