%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOmMACgkQrx0hme8KPM9ieBAAiiZ7qo+gv7XjQ1G6uBivb0pntFuL1YawCFZOFASVY+S9nvjJqa52hqzE04HfdVZNySo8So8pN5bQ0wzPr05q2jAtWTS/T6Gk9NUu2NWXJ6U4hQ9zx/FpnVHYwqYVywRDhgm2yYogXHc333FNRxhtJ+gc3ve1pod1aQn0XtD30k4k5voz1v/dQ/FPdj0sIEkAemu4Sre129vhQndAWU8+5Gq4dsmNPrO5W+1XVXh6kPm2KwcS65mCjp6E0+orfwSawaX4ylNM96k9RitbfNOFL+iNor1X5HskPKfOUT5sP+qtYQo5KTsdr50qBzkUKXf6k4XSbIqDyr/S6KftjknFfTv43Ugwemrkcyf76rIy37gy0VaydsS57xJxaNeOwrvwlc5vo3i67JHxiUXpDSK6eY9uwUcI9utAHlP63xdErwNC2ENvvBVgFZ3U1KE+n9mojgl4UjomEeEh8iDkHsi5f+o8XCsVO8l3lj9Skc2L7ERkRLsril1QKPj8L/avhSajx91nc54w91CDhVve+V7cLDlt+iz3SisuqnHri2fmvnsk741y5oJvyyMT30dIfQv9kEUPupCwX28SRIGWHjYi6+KEDo96jhqcNjbSKtKF36NwAvOm8sSFadFk2fVWl1EWiO6yxGRKY7Hp9gDabD8rd7Dv0LawGYG9Utss357ivfo=

%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

