%FILENAME%
spin-6.5.2-4-arm.pkg.tar.xz

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-4

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

%CSIZE%
302432

%ISIZE%
1067804

%MD5SUM%
f738345dd85c2a7e465665bb5d770e26

%SHA256SUM%
6d82e8772d9e62d9dc7f401241aaee7c8917368fa7fee1b859da6b27fb02d3db

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl76xH0ACgkQdxk/FSvb5qbybxAAo6XjXn1vImYpQS++dJWgL3+6p5pMPfUMPX6QMEk+byNt5K3oX93GDm/FWrbwMten4NEIvvTX9L7+F9ZJ5lPrGKx0nkFUqqXZRhEVLsRx0hWlpwqvmYQhN0y7uH8tuqBSwRyGuWYyvL/ZYyDnPzLWwhsrilGzQ6LgK8DZfSBDefpvvy6A2dZSuGgXiXfS5O86uqx5UMQzf9d9NdnRRv1u5ZrotK/y5Wtmv1Zf/NNfGO20Zg0DtMSJ0Xt4Ui80ZdIjXXtUwtyhWC0CWz0pkfEUbuSQYva5rWCXV35rCNYkGn62c/hAwCwQFrydQdHHKv1XgE4Qf1/BrR0kQsXcFcIhCFzZbLXOrEbg5WLkCAWHDZ38cFFRzdmUQCx6B2RuXDa0fpQlCM6Dgub+ZaMyJ828uHAYkcnxafp6mDEzjC/Q8ns+IW/7vAgY6/AW+BZjC9FbROTinfQOin3YNaOUTgncfraHAEqgRiF6fRiUZcvdoMY8n49gBi03NKjHr8Vis7441IQ7e1sXNoclR72UH2r45O4il3uiMgA6NMUzxeE+29GHyuyDwBSXp6PoXPCfv21fJ4kXlmdwS9MWVpPczpPd3HITp0aZQkDGgNoXiaSG45mqcQaZwO5muA4FUXWc4zLncenauUIvBnVZqA+hTEZAZhpnWs6rVAJV9voGOovdB+Y=

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
arm

%BUILDDATE%
1593492588

%PACKAGER%
Arch Linux ARM Build System <builder+xu7@archlinuxarm.org>

