# Generated by makepkg 6.1.0
# using fakeroot version 1.36
pkgname = ispin
pkgbase = ispin
xdata = pkgtype=pkg
pkgver = 6.5.0-3
pkgdesc = New Tcl/Tk GUI for Spin replacing xSpin
url = https://spinroot.com/
builddate = 1725908321
packager = Yanjun Yang (Pluto) <yangyj.ee@gmail.com>
size = 227913
arch = any
license = custom:SPIN
depend = spin>=6.0
depend = tk>=8.5
depend = gcc
optdepend = graphviz: recommended, provides dot tool for automata view
optdepend = curl: for version check information
