%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEFcACgkQrx0hme8KPM8/IhAAp2JtlXAhlxosAlhAcJwY/YdD51ZyaB/HM3UPJkjzHBXoQXW5UrK2EjXjpJWAtBra8sbyLBzi3lJ77lGMc5uk/3dEdWcMfVDSwTVWnbJZiBVX3ZVzf1m3nL/UEzeGDAfzKPcEx7ufeGEcMvHirIuIE2fEfWYHUEBmkbg/ngSqE7HgN7J2v63tuFOgC4BtX1hXXK7NOVMoTYylDtP60N6GXFvbF9QTsf1/Fmz9fcU43xglGFWyl6Jb/Ub7gYp0kEFp7ltFWmPkpNt1oENRAXytSzlsLcOKumyxzHeTY6oU3n4iOp3Og4HOJExpKZ7ulD9Aoqyay1papiC5sGJSDVf+5AO9YPrZuzSwjQM242Rl9KvmtdMOeed101Z/rHqAbDsDb8g0j/UhCzo6XeFpysgkblaJowHCOXv0hcyKK8dLd8uFX6k+HaTQHcNzdYfR9TL4TbkvMI7rgEtoE0wUJbmKfO/PtrrCOrXpZ5dISyXFNNld8+5J7nlzdOzsFMj+O9WVVb9x7kF8kcoVUd0yfX6o0zSmZ4bCt7mkXFKFMYS0mj8uIvpIzoEqes6Fm6gjY9gukgN/d4+2k5r6NhZ1/6lUG7tE7cqu139QGCHNkVqah56Rd2XZ7DoUn9zsZhrb4l3o4csGPI7l8Up0kp6Qjse3O9G+3cp/30hNnbA7lq4TyLc=

%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

