%FILENAME%
ispin-6.5.0-3-any.pkg.tar.zst

%NAME%
ispin

%BASE%
ispin

%VERSION%
6.5.0-3

%DESC%
New Tcl/Tk GUI for Spin replacing xSpin

%CSIZE%
51264

%ISIZE%
227913

%SHA256SUM%
f9ea5695a30d58f53914ba4c1d65261594c013b19d6fc662649bb70b2afcf333

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn3vcACgkQrx0hme8KPM8Nww//fxz5GU1e4cAqGsUN+zWwnmH9Zkvebzp33EmJ9weXUxVIJMXfxkvcQbwqxtpVRKis4aKYTgxtzTlfLn9NJJd6nc+zTnbDQMUxO0qHBlHeEIK/yKsiQsNhjJByOuteUCncDUdbrvY+zmATu2y3oDamj4HSWDpUc1pa1ugxcwiD8AUB8Zrp2RpVPclUVma/Q0HV2Vh8jIF6NwzAziqqN//JEgdd7CGoC3SU/qcUHD+gOmJCmpbMvP5vFiB2Q79PlebJqQ0AKInA8SBflEmXMnnewHzoQFO1CFdpO3NbTEAqwGjTaP5WpgTTfylih6wrzpipCo+M9gIzLkR+g+JZsPGG/1f5zaLSHSHPsrK1fnS4nHLOdqg1+KrCA8cRqI2fTnnt4ZpPQrcSw4i0Zg+CQQsVv0vBXG0kCEYcThVMcxQzapFpc1TN6lFCplRdIRoVPfHVhr42Q54xlv2v6qJyxH++XCUbTGxwQeMOef9+GZyYl97lHB7zJWBP7prGpW9aSNFRhhQBIudq4SOwKXvfFB0gJNJzsZRQKCL45P8buJHoIlTX9jOBDgyFea+qdCb9QrHfIKWjTkonJQKnFEiTIFB0PNmNII//Ga/v9GM1KhAsTfYhllxay0RATRIuUgER/F+nt+ev/ITz5moa+ONDQ+7bXCO/XdyNkBKt/4yJhNdJO1E=

%URL%
https://spinroot.com/

%LICENSE%
custom:SPIN

%ARCH%
any

%BUILDDATE%
1720086613

%PACKAGER%
Frederik Schwan <freswa@archlinux.org>

%DEPENDS%
spin>=6.0
tk>=8.5
gcc

%OPTDEPENDS%
graphviz: recommended, provides dot tool for automata view
curl: for version check information

