%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CscACgkQrx0hme8KPM8QvA/9F2vuAlYKMst8nEPIXkWS6l3aDSqxfCbYeQxPipHHCADdbZ3EKitRXpxNedRK3fdD7ZG+FsMEuC8vnkcuUB6gVTxO7aiVywV4smgbPPieEDLDJ0WpHAuw1XPiK9K9EacZ3hCGLm0Z4LKXLQujAK3AJi4/zwsFCOH+wEDPj/T8bF8XlClkyLX1fIO/qdi2lgPCFL8jGTdZHmcuGkf8ch27kRTJTWED8Pz8tROorYpTwQjoYMwzcOMi8iPC9GWaMpVDGsyQgpsa+/4Zaiq4lpDLJAyDf2iA/ac79+vky7B9TX3+pOniklQjtYywneFzmYz61bRbZhmxpXMdM/+XI5uOBGaNn4dZqE+Yzl5JSBjixA3hFQvdh3GHkKUFODTz8n9Df4Hou0bwSPMgG6xefmNK9VnXvipyItbcsWpqlh9HHGlTuvDBhBOwyYTac9oSOwJUTMblUoUpxnZ+yrHNl9Rz/q2tVjCuX1g3aqUMaf48YDqjartSsM1mOb0ygW99VdNlV9yMFSBAmHC/s2UoDnOUywfjY4cU7NJRjJVHqD4AYptPHN2+fA/GBaD1Yu2mw1vhyXY/ZlPXtLcSgRA6/I2pG3idurnMnRSfn9A1WD3a51P3EdaCCwqTFqlqFqglGCXTu3H9f1e9P0eBQxFOBUfW5xShb20xtEKPLsQgV8UiASI=

%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

