%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNKgUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZ2HxAAu4qrg3Kxe7lgafLpyvGWiIxfPjtqBzXvgLTbqBKGZF1X4BHFbNF94SIUGAXs8uVNvPPcFZnjIzJTqw2HFDOfT+yuarHp8XlVPElZlORs/I0JykdWUNMQ8efKrh4Gb+Wb485xUnACewopYZ/Xvn5qc0tEEmsJDHKsNz6O4WGErTjZvPYWZ56esvOLCsYoKVPqQNM4zhZdhyB21jK+RFYh3VhlF3KgDCSc94yxosuunB0xC2G7S/UnyiZOI0hpczJT0LlGSeLDAPexkITfhyBAGulXCJgOxNXc3cFUDR0lNZY5MzODqEc6cUWlZDSwS+uUVm2Ef/EFbVhwsM3zE01+CJZd2Ld7rYz/E3UYGdf6+CgaKTOQt04fN1TMsLi7R1xxYLfI8jaASlmw3qfRkJ/T6KqEmubXLs2M1Vf/Seo2EoFe4iyoUyLYMrVuOYqv/TIdJX+OjjP1FRuhDicfTh1mj7BjHyT/j+ZibhGAmJloYnaH0NLWXmhU37PEOd6auD4K4Mq1g72NkjwvZhGWRyx271Nw8PMgBDLCA54AyEvy5awOjm7s58bdpCP7r0V/CwmZcuX7VIPuLkl1xVeawijtG72BEunFnDp9IbGmUjzxvhL7Ui25Z+Fb3hp/TVoSMmWiURXIlYAzPrTuGJ3Al7c1j7jPgBI8d+mf7ZakzHhtfTs=

%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

