%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%
iNUEABYKAH0WIQQFx3danouXdAf+COadTFqhVCbaCgUCZoZtr18UgAAAAAAuAChpc3N1ZXItZnByQG5vdGF0aW9ucy5vcGVucGdwLmZpZnRoaG9yc2VtYW4ubmV0MDVDNzc3NUE5RThCOTc3NDA3RkUwOEU2OUQ0QzVBQTE1NDI2REEwQQAKCRCdTFqhVCbaCtbRAP4luvD/7Z8EDxRjDMhdvyqiLVeoO3xbANtfsqQMcBMLegEAq/BfjmFqp1lHJG+H3Oo9majUFZZNoC1PgFdV3T5vqwY=

%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

