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

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5

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

%CSIZE%
368328

%ISIZE%
1407500

%SHA256SUM%
c0d349707c813e74f7ef883c6b6a3f51f479140d4fdcf4a9c0acb676e8174c8e

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
riscv64

%BUILDDATE%
1720424778

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
glibc

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

