%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CosACgkQrx0hme8KPM+gdw//WIQPdkr+T7J1JB2yMibswpOS8H00wZtJmR+g6Uy0RGkKs/l79PsXna3tYR8W3BeDx6ugy+Pgbt9uLr2N5uG1DH1Y3VpNpKq8JN1To6b53eCSY/Kdqk/sNhzCjejkLr8ynxn54TQR4lYW1yu64awoIDV9e1uCL3K+rIzDrFnuUHJd6CoROAFJvQ2eNW7TwqaVVmL3QISmJo4MyLITD12/9eOi+RwGJVVPWxX7df5qM1UxNl/FIcv3+yuw1wzltxuObCbuT2XbcOCFMKXxDoIuFCqhHi3iXcYjWBx1h+XvUpppili3AcOFAbtshNwv5E3Z01b6BOzNJqJWneUU/q4kwTECuO33gLimhnR6+2A2HLt46J+qRIUmo1KIwAYteDfr3ISwQ2tiqr6/1BGbkWPysKbL4F4sM82sO3dA6SeiwgMAMo1bSfPL6vvfB47459xPPB2CKKWwVkSFl7mU9RMaYw6l4TCPtyeOIputo+OceT+E54mJ/8NZyejIRrugDqCZcMAMYiUg2a//q25+lSFbEvc3G0YLJqPjfb/PkNWOfCajKiHcDxuDpGYrzlWX1O+sYOjuv5hJqDG9MRoZ+bRFrMfQ6vhKEmzr2gm6M6knV+W4kRujkVaKfbduqwZPCGxegcNJUQZhkIZstOsKMw9R10irvkvERacLFI7RJgnaero=

%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

