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

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5

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

%CSIZE%
340430

%ISIZE%
1002476

%SHA256SUM%
8a474b3c5d8c294eba3f283e42b1e375aa5f2d9520efe89c45cf8d67fdbf8b31

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn3vkACgkQrx0hme8KPM+mEBAA6XSGE2tri5HhJm2Ce5uD4bPjk97RsLzEukABrk4y2bGDkyBbc6+wluE+rtZxe1cMCWJmcQKJLCNcE7QBe8Oy++7frRO/MZ8eNyYsOcaOL2mD5Aqf28KWnbgH6mhhkDfPQuFZYGp532DG1ylo6E8OLBNn47/NOhCjhfCmrquLiM11XIqzUNWkrjSK22JROKUJ9ELh/iY3xVHiNHenZ6ZPGn4uaEJ3ToD56Oo7JE56gibz3SMB0iN5pZly3TPVOtaqrOgHtCtGW+3yQfC/qRfPR8ctF/0yPPMrlVgPs265g4qqaeVjXN3IVwpfbNDAv4FDua9vh4bOUPqqWHyNcG8so482XRR93djkLacvdTgltEYgfEWzN/O8VfdeGPHv5dgHRUD8TjJuBGmTAo3tfTtQ6jwin+UhADcQaXOo+0YcfI1bidkBYfDEV9CAzgvxfYFy2QvfaTDcdp/WcnWpYm2VY6W6w0pclm+1xVt63T+thbcXkSunpTp0kVWyrel3isxp0r+lcQnLQHX/tg7DwHKL7coYKFNzPcW0Hp0mzCoWAsX1NLGaORGakSFyYTkIlPufwpttrWvP1brX3yf4ZJtS1G3ULuBKDX8Kv7UXDYkjj3z6eDQFqT3f/Y/uBBsI598706OezZhe2Lw7pBcqYlgP29/qDJk7mEWKFmqP1WGab8o=

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
x86_64

%BUILDDATE%
1720085911

%PACKAGER%
Frederik Schwan <freswa@archlinux.org>

%DEPENDS%
glibc

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

