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

%NAME%
ispin

%BASE%
ispin

%VERSION%
6.5.0-2

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

%CSIZE%
51428

%ISIZE%
227913

%MD5SUM%
3d07c332010c2ca56b2e42e47ce1ba4f

%SHA256SUM%
422ca894e3ec778ff2f37c89e5ff2222cdc9c1e157557685b34fdf84efdbf2cc

%PGPSIG%
iNUEABYKAH0WIQQFx3danouXdAf+COadTFqhVCbaCgUCXvq5Ol8UgAAAAAAuAChpc3N1ZXItZnByQG5vdGF0aW9ucy5vcGVucGdwLmZpZnRoaG9yc2VtYW4ubmV0MDVDNzc3NUE5RThCOTc3NDA3RkUwOEU2OUQ0QzVBQTE1NDI2REEwQQAKCRCdTFqhVCbaCrFgAQCrA8AJb7lhq/jdUtuxnhS7g8qhp01gXZ4oCzH3STt5PwD9Ez8mgziHBqFD3Lo3b/jrTkAXWM+vAq8ee670znbhbAg=

%URL%
https://spinroot.com/

%LICENSE%
custom:SPIN

%ARCH%
any

%BUILDDATE%
1593489663

%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

