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

%NAME%
ispin

%BASE%
ispin

%VERSION%
6.5.0-2

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

%CSIZE%
49840

%ISIZE%
227913

%MD5SUM%
da8d6839688ccab2629d1727a3b0b780

%SHA256SUM%
c002cf1356f104b10281bc4c90506c73d869175054d6097d549804244f94f569

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl76xDoACgkQdxk/FSvb5qZq/w//eet1aR+LxVR3GX05gWdj176I2AXj1j562NY1vhog3eKKZmHY0LwIlc3i5wJmuoPUXH/9iYIjnP81+R3RaH3eU+k+d1tMm+4hBfRsSH73zPi/pmZieobJUsFjY/n9nygdFOo13bTwQybiluyEo3xEm6jkk9NjrgOrwj0jS0FN+uN/6k4SGSqqPfX1E1b/umExEjBdjL0XVIX4zERTqNzFQ74fZ6nd0qolDpT1KwdptkGMi2Yn3Gu6nAv98z2ZUD4bfBeiMcPrVkqZpdD0Q5AW0sUrSn5KayTvy0wHg6/z+fAWaasrgx+1ObmkDswjguHul057Zo9XEwS9S+Aq/pB+oOVbsmpTFXKU0y1NqRXejXgi0e5o/MPTP/7mFKx7+2HTj1OwEGj7OTusvwMG0J0npbVkjU8MsLvw58pOWuCsgKQIULqk73ST01G75etZ+N41Qsz4dC8A7XxKUJF5Ggj9S0ItJkhDFZ2T9snb3XyfaE6BtuuSCMgvCkYACsqvw29lqR9zw8veiXjIVjtKIgjYwyLMUHH7hwwUcsa0pwslf2hUZ9lboGjvAYp7mPg/vf5onf8O/nPSSTH74YxKsJ2BYxSHoE7DYzX9RvQ9dlSxDVpGa6aq6j6uk1OwaWu1NxR4vT35RMqj5Qta/fkdDwZhGVCX89EXZ5L1bh0BZSToDQQ=

%URL%
https://spinroot.com/

%LICENSE%
custom:SPIN

%ARCH%
any

%BUILDDATE%
1593492527

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

%DEPENDS%
spin>=6.0
tk>=8.5
gcc

%OPTDEPENDS%
graphviz: recommended, provides dot tool for automata view
curl: for version check information

