%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCaW4UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZB5BAAn2hrgjQBC79nb/1bsKkLW3SPK/vDgt3jJayDcQ1I1vSkqCww8Cd73YFZiTgXc5ZORfi8r/wdafrnyd15YQlkQ2dOuPSiztW6pa1e9vfZfbvZ24/votKU/QEt+c2IrdCjIGQLJ9WTdvraHkUghjs6WY1au5i/Ct1jX+lLT8ot/vA5ecKSq9+AA7UM5QxQl16EQMucD4Fjn4ZfirsapjpT1P+kgu6G7r6Llah1r+2RKEM5+1tSH/SEF/uV0/NqQYuSRord6fxj1FBpna/F8nwEN3wxrV+H5Yy3WvdDPV4e/XDCHdJGk/i01BpfJZ7S2UFUhBVtx4c2FIewRi5I+QZFosCKILn3/guOqgVsdeW2QUQgiZlMxYkZo4VnjNWFRkac3p+Su3Zfgb3nceRU0nrEsIdbdESHpGRTL2GeVxuHc/aokmzE3XfynJ6DIXKtTmD+EnHnmSwwthwrf0sY4Y/nRIHR/OaWu58qkry83poBN0fur23qhsDu8LAs6bG20uMusLUCqh8PIrozOlvJOHIE50wWUmY0vNFmxT4wNDYakL9ugUD/ZrrJ964IwUSTglHA+bqXoz3nnVp6DY46ZAD7QujvjtcHTkFYBH7XzSx78T0asg7QnZCH1gybsosfOQWgVVO/E4ThrGRZDDI6oGY06MFnpp+DrKM2GQNMnxTj6cI=

%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

