%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkRkACgkQrx0hme8KPM/8kQ/9Hb+wCbyNb5uz6rWmEWeoiy5kqldY+mNCGX77EJEVMFJAnoIfnV/T0RnEf9va1YgsxE+W7mFfuJ/u/n9+oDzCjknBtLZtdcdD6vvzVMq8C1QFnj+JPsvuFJ4tjba+KBUCsZv3z67gsqZ18TTum1pGocJYmQs82ZHszDF/MwYmboIda1ilkMACFkFJsDzJiybNZD4C8U34QFKWq6G7jKu4fvstKzaP9d8NCatBPzr0i6sTgztOhvc7q45x9DA3zERDHtq1DfCyW5uMKDjZlrXz9JVr0jHYPgrQqvmvwkT0eZnMe5a+c6bGvCExJL2F0HSThE74N+Xy2o/IqTclZcPsaB8zj2oSCoRtndEpdfXTVgxl3tO3DftkWC4wqSpH2IbWKSwYPS1ZatcSC4ccBXExa3AXnM1fYQI5NwXDPyf4yNb4AaLA/JQPo3MIApOUzEcvPcLIO8x0gBFOVta8ZO1RUvFqGED62DYOfoG5c3sSUsN+esfiCkVF4oDBPxijF1dZdikZ7vRS/eQsFGycDuou/cOEIJ/s0VvpbUW33qgUaO5MjNKJlO/QchgOw5goHkub1c0Dy3jJwo7O3Peqd516lvKvhrvAfsMEgWCfAC4ClZBGmDNDErz3SV6yRhXy3x1MvJFbfxfKhUVlqjLLlbSeM8H2xA7LDZ/xAQhXBrVJMX4=

%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

