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

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-4

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

%CSIZE%
301844

%ISIZE%
1062772

%MD5SUM%
824778723e5634b9f66636e36ec369c7

%SHA256SUM%
afc3a0cf774b68e3ba94a1e030d8f0e2ab83625dfef611440a87d9b0fce72501

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl76xB4ACgkQdxk/FSvb5qa9GhAApZ/C93v6VFAH+gFL7zGOUYDtLxxdb/zP7vYAviinDfQ1UZQov7iuvXl0FHCrsQ4C0w4BBxMpXEI5IoUQcOcuFAv1kzbCwt389OxPBvYQkwTV38gRJ/n0VVQRFWRA3T/3kw8cZKWtyupfoZHR28c5YIStbbfCQ6R0rtHz7yTTIoiUmhtxSMkzRADmY9sc3cP0jOzvMa56clnarlXhavADzDmqnpVIPP9dW17GyNkZdjzr1d039BUsLKfIfTW3IOsZFmC7f8fXjehv58mjZNwMXlG6naXB1/uWlhJdWLaV84G/9yyP+UBGLhVG1LWQaKkZ5bfNfrgDr8EJVgGLSp1lQjvLVwgRzawQ8VGtrd4NpB37MA4vMoY7vi6cmvN/HXb2EMI3EMhs09miP6H1k4zE9X/H4sm/vZ+nstWb/hES7ec5VXCXKC9WwyVMRVcZDJas1uwvQnCnv3zhPh7RfF4cQNXdunNdjSEK42KixzYQllWwMt88m/gpGVtRYEzBzoI+JG4G0UvU5SsfOV6IhCIX8iV4+5toUoOCTRtYjQFngOaOtAn1ECCALS+VimR85sHNxxBrv0fp3etqVEXSeS1UobV7hoOd26b2OBLRl9jhscWvRzmQ1UWXaqvLBm1WbR+LUnY1gssGSFkg9Zk17NXvwre1vT0GzcfvAN7mB9u7dfY=

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
armv6h

%BUILDDATE%
1593492494

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

