%FILENAME%
spin-6.5.2-5.2-x86_64.pkg.tar.zst

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5.2

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

%CSIZE%
397746

%ISIZE%
1141748

%SHA256SUM%
737f4088af548bc0c87992db0c2ae76cd0f29b8e4a7202f5dccc6e6a12222d37

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
x86_64

%BUILDDATE%
1777337468

%PACKAGER%
ALHP x86-64-v4 <alhp@harting.dev>

%DEPENDS%
glibc

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

