%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcioUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwa0TBAAsYKqEucxG9UHgevHtatPywwF2F1YbgTUqpfRIVtjCgEXPZ3h1A07GCNnGdDgX2HqFEbTHFG3aj4OgUGANXwKmiX6RIVLZfW/2Wmq3J98mZ6raHFAyXGF7p5akaFvkyBjW1A+qfjWrhp2boLo40odicYfUF77Cdo4Ec9LysT/3cukwWC3aHWnvRquq3DnmBTRV6SFkkDqmJ+EFxkgIIRMwhUrop4e5OaMHRmmrJt91IedBIqKJMtfYaa601c4vYCndsn/WajtcR+pHrLH9Fo+A//1gb0XBye3x+k3eKEzO3JXRXpjKOGm5RN2H8OXf4aGzVD9wyfCHwOnNwtj9xIxqe1zkzam4U7iHqXslcO+ibVhv6F1xiWkvR3ZC+EDx9ri1EbCCWD0ZWQ55DIZQ4UpFBOewyF6hJg9UqxkqmbApcidVQ+byRYO/ahzDXePNsM/Ht3h2crlqrXrNVngmeF+Iw0mm2yJgTHf3nOWI/crl0nsEUoAn1MoXVYf5h3Ot0A6Fk2metOdAIHfJgUv+i2slWSuhWeoUnwW+rkFXQ8g7kZa7ogyXrSMqY7fP6NcJs1mi/1ajx/ySvY0wM/6BGqf4cjF2H47Uk45jzPhOex6RexBYjVodlOPsmiSgm/3mVW5xZJSCEFRUao20+Uuo3PyUi52AUm7bBOc8ouUh9JpBVs=

%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

