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

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5.0

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

%CSIZE%
321302

%ISIZE%
907920

%SHA256SUM%
6c79c546832890771e271024c1b706c59cededf140fa7ecc72c7b7af50a4852b

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
pentium4

%BUILDDATE%
1720564779

%PACKAGER%
TasosSah <arch32@tasossah.com>

%DEPENDS%
glibc

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

