%FILENAME%
spin-6.5.2-5-aarch64.pkg.tar.zst

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5

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

%CSIZE%
396273

%ISIZE%
1047084

%SHA256SUM%
78ed4bdf9360c891a3581f0f1f33889dced87ea8f89858493efdb4305f0aabfc

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
aarch64

%BUILDDATE%
1767402861

%PACKAGER%
Ben Schneider <ben@bens.haus>

%DEPENDS%
glibc

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

