%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%
51298

%ISIZE%
227913

%SHA256SUM%
cd4235ea10ef9c0a47b5a6ee59963cd7ca6e5a7c48bc413d3b6bf04cf6c07fbc

%URL%
https://spinroot.com/

%LICENSE%
custom:SPIN

%ARCH%
any

%BUILDDATE%
1720058328

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

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

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

