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

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-4

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

%CSIZE%
409298

%ISIZE%
1432292

%MD5SUM%
ac4b568f10ca02ebbafe020278b6444f

%SHA256SUM%
109d5f6017f21f88e1c55ca6708b126e9f7210af79977c8723bea6f57d7370d1

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEGMACgkQrx0hme8KPM901A//XgTZPvCxVerDwNj1U/M66aeK3d8e8JHzmqQUZUmnIJ/Svu1apYkVQOfQmXmkx6oNk06vgrnV14G6MAZpjh78HtrrKocC5P1V7hcwRsynCqy96TybrK6QZee5m+VzmmIWP+FmIoZxn8v7uE/c6l9ot+BfyFqLYVdhPQMK/ASAOq+yZZotBG7lvuMzht3mytY/oJvkUGefTkmGN7j/89NjNUkeJTA54EppFXM/bbGdHEBlDFwgVq2trbae2YiWi5k92ePyE0CXIYvTlMmiDbTPSBZgjdkE2TNfDklccBAsaFV+8xdlLvVovr0guCC420/cmChdHIH6KH7wNOzziFMHv/a8KrYKPx0Kui7ML6k9Vtb+1p/cX5DrJoEBqAieKAx6MRnKgckXEvaSRZFT03pO9g+ahGR8p1VFWaKTwqth33uMVIHYF3Ro3uTJC8GZKt4TBciF9ed5JNzjkEtmU/S6KrYz4ZDXrjDTuCDb9dnBtHy7H6JbELuR2uUaPIFxjO1sftT2hLej6Uvy3hUrSfdAxhNriqnRCd7unEy2vM/JDuOqq+Cjk5TuAUgV3/ZTctZYAfUhT41C0Z7/K4Mvk+dIhxaW2yChztlgpdSN7azmqiiGbLhGPJe1jaOeRZgV8ivojcH5kq7wTUtsPEtigNiWyDxO3jKfNClr61qtYKu1pc8=

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
x86_64

%BUILDDATE%
1593489504

%PACKAGER%
Frederik Schwan <freswa@archlinux.org>

%DEPENDS%
glibc

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

