%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAV0ACgkQrx0hme8KPM/D3Q/9HvegJlPge8V3dK9csgo3risc8yA6jbk2AbiarfKk4IywGxFk1X/js+TXV0pUdyans5UootKLd7/OqixOfl1tpnCjWaO5qAe8TT7LDxglipkz6O7Cbrz/rcnhIs910SHjp3dnU+jPaJxvPgzl57eUMV8W1S4Ch34SaSoTNUoJoKynRAv7FIZDaGrepy7mAWZFoJ9b78RSWF7f2YTqohEn7FK0vwdzlo7Vffr+08eL2nOhyxV3ACesod8zNzmj4OS4EkfYCLrN4Nrspjp/lSRzvUo163lfkF5A/ojiocYkLDoUalxHWRPJV5CEFFDnp8liPBu8Jm35IpqVFqM/pffHx1MF8czQdahrVP3/Ib8OCseVbIvsl/7GRBNwKOkHnfiPeGiglB7G49d6pBRlTRwfhKUKKWEEDveRTAtHvqvB16yZTo2s6N9hLo8YE/LfS9LjtBrZzsG1YBG9Ufw0saZoTSLgMWENZM1hFA5fotfNLpp3bcMmrUW90nSObVpvYAH6PUue6MukF5Z/MPzhTVQs0EC8XdTI/fBpk1PmuWEEkrXqSc/y8ZPyiqQiSey+6UCE4xLdKF4wSRWFKY6VcmkebhJN4kM3q8znT5TBUSyD8LSxVP+op6beu8Hk+3eymqlSKIZcmD63CuBss/Q2HM+4myOSkBHSlGPPiPyK4uPVN5g=

%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

