pkgbase = spin
	pkgdesc = Tool for the formal verification of distributed software systems
	pkgver = 6.5.2
	pkgrel = 3
	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
	b2sums = a075043c55609de5860c3a428d356a9618a4062667e06d92797e1fb87cb4c805ac90ac580c7d9dfac1d5be1dda4c7f9c9f72927826b921c23710a858adb3eb4d

pkgname = spin