# Generated by makepkg 6.1.0
# using fakeroot version 1.35
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 = 1720086613
packager = Frederik Schwan <freswa@archlinux.org>
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
