%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhOccUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZfPA/9GoX2v9p/0LOLRoa8DXNqIvUN390ns1Nv00Lol2XjqfKnJiME+72RdnmUClnwhaCRQXmh4p/iguqTtqtEFDE8SFdZMYRGQ0Jvijg5wxoFffdmXtndcfTqjJH6HgFstWFNEziWrSnVz1RNjnPAH0NKmGitb0BwlsGovJzA/BAaBmCCuM9bMpY3ed0b36STgRd+2L0uXxckilmLGCatmIAdFmXOn2gck9W8iXfmg2s5TtP+lwhsGqTW1/EQTwFQpY2ZlI2rRKCYV40KqjoC8j4qXydmU0PN/5ax99uGtPhEpWvpjkAmOlhkLmgNvQIy/GPrGzt2D7Xub+H0vHWqqhFjz63tm5vH0yq6HRbX3fPGnQwchPrFvibKaF4ckfxFqH1iYUKgUv9wanJ0fu1OHdgETuzMl1IdFPgskxVib48po/3U7PyZrT1JDhqhI3T7qohB2/LZQwdpu9jWO1DgYuIJ2Gwo5KNvzwLb9+0iYOYXXfCpTzC3botN1PYNJW0qAmKjtDjs80aq+qomNzx0hTqGGGiIqr7CU11RlW7L8an6Xx+UQzfM+gzOMMtWRfrzm/du8ikkRtPvjoMthwd9b9zMPPaGaGSYXizoxl9ZHf4+7Naq222+J/0OiChO3XoC2EP3KSonJ25CykRPVooXTJecjsyqay8NTas3oaYTsuDuiVE=

%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

