blob: 0d7d3e250c5b5cc0e469552dc6b9abcba45a8235 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = spin
pkgdesc = Tool for the formal verification of distributed software systems
pkgver = 6.5.2
pkgrel = 1
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 = ispin: GUI for Spin
source = https://github.com/nimble-code/Spin/archive/version-6.5.2.tar.gz
sha512sums = ff1d378076995fa5a8b66dd31d19d8bad6296b968183180251d267c926c20775edda927a31f466199e01231f6233c3a5166fd51ec44b02d570070e857d8ba7f9
pkgname = spin
|