%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOk8ACgkQrx0hme8KPM9TkBAAh31jeT260aDO6+L8Hmhzn3DjtwMjYo2DOkN6Mrtt8ZbCPaUvwI0MFIK2v98SVa96yX3qutsQeURuzdbpt75TVYhnXb90HXIdTinMgQ8AC0W3gHmG3YZauSVyjXvp4AWmPj2m2cM7qDQo3kI0Z7VsJaGMJqvgOETt4cusJNN56FbnxvTEfMDtYvHGu7orCkablvV1BZbvmU6a+Ka/0U6L63YWkbGryTdLzPJT9h6fFKUpBEEeD/2nriyg0023CfflKevA/mNcwTL7CwCmDyA6b1ul5RPoYtR4IvcUfyjNJs+492NsDLde2c7GujR748Fh5lts+44gXWOoHjFy7DpSNZNsyxLbBMZqJYDLtc+GdVLcm4zOPlI1ZsRqODygJb6mQnsRVMpw59r1UDsxZ9MWNHuTHbxClP/MHRKQpJU863XuQyyZJiblyz6n2S+mlzpMuqkuBHJkjVhkcgzT40yZHc3fenG33qdocBMhA3KUbP7HK4igO7YMelVw1hiAZa13MB/O0PoOFjf86Zotc1oJ0rSG18/R8NegdNkkbMUzvBSRaQvoxrhG1TZ0sUe4zLmpFrZwKW44ODJivUvRJh1dOMD2h7YXXasdL32+C0vOEWgmoFvkN7ZSPoRNkwcngNQGe8F+fDMIRu95NKZyJx6BvdnU+EvEDwtGXiXUJgo7ZQ8=

%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

