%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

%MD5SUM%
6423cf238bdf25d284ef7dd2a8c9637c

%SHA256SUM%
f9ea5695a30d58f53914ba4c1d65261594c013b19d6fc662649bb70b2afcf333

%PGPSIG%
iNUEABYKAH0WIQQFx3danouXdAf+COadTFqhVCbaCgUCZoZwZl8UgAAAAAAuAChpc3N1ZXItZnByQG5vdGF0aW9ucy5vcGVucGdwLmZpZnRoaG9yc2VtYW4ubmV0MDVDNzc3NUE5RThCOTc3NDA3RkUwOEU2OUQ0QzVBQTE1NDI2REEwQQAKCRCdTFqhVCbaCpCDAP4+AQOob+JFeLOsonY4f4vQprbQU/d7+NdY0FRCMT8N+gD7B44+KzYv2t2itYbmrNLcgnI36yIt6KsXW1Hw7qKJ4g8=

%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

