pkgbase = spin
	pkgdesc = Tool for the formal verification of distributed software systems
	pkgver = 6.5.0
	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.0.tar.gz
	sha512sums = 0beeb1faea93f806c37a4b76c2c407363990596134fc60b15c3f3a2d33ccf59680acd30e251c4f83fb725903aecb6238b166af7dbc9296a8a34259feabeeae24

pkgname = spin