# Generated by makepkg 5.2.1
# using fakeroot version 1.24
pkgname = spin
pkgbase = spin
pkgver = 6.5.2-4
pkgdesc = Tool for the formal verification of distributed software systems
url = https://spinroot.com/
builddate = 1593492494
packager = Arch Linux ARM Build System <builder+xu3@archlinuxarm.org>
size = 1062772
arch = armv6h
license = custom:BSD3
depend = glibc
optdepend = tcl: ispin graphical interface
optdepend = swarm: improved performance on large verification problems
optdepend = ispin: GUI for Spin
