%FILENAME%
spin-6.5.2-5.0-i486.pkg.tar.zst

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5.0

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

%CSIZE%
328097

%ISIZE%
928332

%SHA256SUM%
fc2d5823ea6324a66fea141da5c404b8c01f731511d594323192cde0cdd14a6e

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
i486

%BUILDDATE%
1720099303

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
glibc

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

