# Generated by makepkg 6.1.0
# using fakeroot version 1.35
pkgname = spin
pkgbase = spin
xdata = pkgtype=pkg
pkgver = 6.5.2-5.0
pkgdesc = Tool for the formal verification of distributed software systems
url = https://spinroot.com/
builddate = 1720564779
packager = TasosSah <arch32@tasossah.com>
size = 907920
arch = pentium4
license = custom:BSD3
depend = glibc
optdepend = tcl: ispin graphical interface
optdepend = swarm: improved performance on large verification problems
optdepend = ispin: GUI for Spin
