%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkSUACgkQrx0hme8KPM9vhQ/+IVCc1GfisRxDoa87QtBwNi2oiBzm7ysDhV2hV9rXCUDwO/1hGlRBlQzQcmibBCyT9fWCqTNEIUv8gPXQcKPh6ytXnCHLuErMw4v9OQadwX8TrZIZxp40uP9ZAbJLXAz2osq3pxWXBbW7M9coALt+hXWu+4uucWejAkQacFAG1OnYQ7JS6JDQ0q1Zq7uGFbbesrkoLE0Vd7EXk8BbtOnMHRCgdtQUY6wN02rbYJRX929x56TBlBjc05EEuqh/UMpoCFlHpkSPp6XKWbyYTLH2HkvKtuU6oITmB/YgMUI0wLcuob2OLktoIo0+0cEH60kSiNip+3ZPXn3WNIhkkPXynCGjoCSa743vrruiSJCwpyS6/iOMf8J9g422HR6PfFlZgbFHc0uuMPvkangoxVovdIvD+qXWtfsUxxPrCq0zf7iZ3xS/g6HDBODNdiqRpeEWugYHRl/+FEIAHfQ8zriZTjC8+QD5kTweH7l8oR0wPUZlKYu950pm6xvwPuESOv0QfTWTKMzgthHWQXQY3wvR10dah7jpKArwY8SGJVG7S0jtJMYVgX/g2TlsjGTu4rGI46/M63An2YcGGGvonweGTi0Q+YtGWIVRBMpuJmTEWS2F9YjKUGFBWLk3NrsgYzEdUakmZ/iCUdVPSf06wmsgfyfWdIHnpoxB+HSoSodxrQw=

%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

