%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAVkACgkQrx0hme8KPM+SdhAA0GhEXq0gltgOIgIbBOKuri8d70W5kBOcuzkc/tJrjkV9paX939JplAkrEWwXPuAZ6Z9FyTRPjTLpRg7kHXXmysEkrQfoZvybjCu6kozXc/hY19EiWw7yvVwfm+YBifwe9dxKaSOqiqE0VCSZUSpMHDjuhTj//xCYHPTd0tt0Af1FiOlw6H19VQeIeTh/dxcSf+hdgtQZFHNmL1/eQlZLNtREGWtAv+JK5/FTXc0GMhlZdqZONztVRF+3wIeP5gvzXOgMq7uMbGeAnpfYz0PBABtjmVAavIXpcco5/K4OsBDq6ByltMPtvBDvIo5wNI/n/jGln1BnO7LrYnPaGDvEFXF9UsCe1ebmohKkrrmmIpMKeUid4vBLUzz7bveIzt42Y5AHL3jdroHH1pCTM2Qcr/oJy+NCgJGLNyMFDoU6WzhrXXjMHRd6dcKtJ+G9DtnZQNfOVolhUn3WWDypVaumILBzsFqQMUDWUsuzZfCTLEbu0XTsUJBUjiWvKNCYp9MjuVv3jZwci5r3wqGngZEb3eU9dCNh99n2Enew9djDwn1keiJudS8jTl5NOE1uRL1ZhhMCv9gFN8FBm5KyOcl5X3Tf8a79WIEgHifaFJofT5yPau8Q27ofHEXB795BDU7UFs4nGkUduVMKMoLap9XHTAAfxuqvHQao+d1rUP5YUlM=

%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

