.SRCINFO


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.1
	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.1.tar.gz
	sha512sums = e852d4a5ba92d58350dc1624e6d204e918e31dd22ce4bf15275390d56a679fee29f0fb662de0a00f7c303b7287357c5a4c11a01ebd178712a9229aa830393a93

pkgname = spin