%FILENAME%
spin-6.5.2-5.1-x86_64.pkg.tar.zst

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5.1

%DESC%
Tool for the formal verification of distributed software systems

%CSIZE%
389945

%ISIZE%
1133556

%SHA256SUM%
9a399647b005e454286e4725e9c760aeba0db56ca23b6efdff8b4227ec3e2756

%PGPSIG%
iQGzBAABCAAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmaGdK8ACgkQ87YHSI2zWkelwwwA6Ddo6WqqU8H0ZX2eHV/1opkyq8rAH+1/VEjlQT2UsocTrFAMkoFj7TWUB/tX/njW2xgTwneHiAD3OoAN60exSU/DHkOqsdfkggJHhB/ioxXVDJDO6VmGWWPWbHvBaJ0N29BFG/RTqwHvLJYcUzAOcUZqC4v1ouHa1xpIXU1l9sxwMw1Y0G7ZIDJv+faCEQpWY4TB/ZKrdAIuTz3oxnKFdm2Wqwi/gxR5KtJKdulKVjUbe+JNKfRfFRP6LjYmwXL6BLsqq2a9bBVtYbm3ors7JdWWNiDc/rzdvB+KVgE19b+dH0f3lrp2fvU0AKzOTatTF9ie9lPfwl5qd3s012cVELPcSGz5LrF381t5v8zqJbBfGAh7Vt/W0jVXw4SZe9Acpi1khrn/ilm9CF2B738/VyCEf+lgvyRpnDRoku+H+BGe/fWaJfxt997w3nSLuIOoj2dqCWRgzPBb0ZYjjZT95Kal8S6FGDI5IvIj9iw4HMTEYpMQ6qEX/qXrNMc0yuQF

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
x86_64

%BUILDDATE%
1720087724

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
glibc

%OPTDEPENDS%
tcl: ispin graphical interface
swarm: improved performance on large verification problems
ispin: GUI for Spin

