%FILENAME%
spin-6.5.2-5.1-x86_64_v4.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%
ed5d63ea5a7c9fbe7c54d414cb500a2bedb72992063b5594dc54600984c01dc7

%PGPSIG%
iQGzBAABCAAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmaGbnMACgkQ87YHSI2zWkeguAv8DRLBXRH/oy63z1SANz2XsrYHBVgdncuBGe+Ufc8un/v7vCS4I1K7AoDn1/mTMfEnx0Shyt7ldyV2tEdfBH4Gefyfdjm2Ghc3k2I4t4H/1lhRqLQNxfPrVk9zBmf87fsd1OAZ6W0r/w2MiBXn/KO4vKgTEf8EwtN3P4otfZ7qjzWqbn5JoNB+zM6Tf0bLqLu7oBNzELEUAWXPowUQfh8m725kdjl/6MMWSS/LRbcTy+qAy72npCadDOfWmCeLh6iGdp5XE/NudEsjouEJJBKJuqZrR/vKU3gpT2gDpg0ytirSgSc+FmHqyVucMP7Ph9LXkLvjlluLVKi/WRyFavqSarXi2M6Zdc8Yn3JUiroxJxeoqzGmBiXN+JEFDT4Wc5gKqE7n8Y8b+PpRjZvp2p7K4cLelEyg/xtQw6sSG8EpnZMi36mtSG7m9JPFGgQ9nDtI+NOl3BqpPANS7c9JFAC6Bwo86AfGe254nBGB23YxasYrrBoc1PTbXv+v1uzqFxXt

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
x86_64_v4

%BUILDDATE%
1720086127

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
glibc

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

