.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

pkgbase = spin
	pkgdesc = Tool for the formal verification of distributed software systems
	pkgver = 6.4.8
	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 = modex: extract verification models from implementation C code
	optdepends = ispin: GUI for Spin
	source = https://github.com/freswa/spin/archive/v6.4.8.tar.gz
	sha512sums = 92855d3b75a1b6f4ae50235215afca1e74a761081e6793c4006052cd38c6a567b3847926122991274b4aac5b53ce76c424bd353ed966416af8890caa0243ba37

pkgname = spin