%FILENAME%
spin-6.5.2-5-armv7h.pkg.tar.xz

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5

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

%CSIZE%
306900

%ISIZE%
1079320

%MD5SUM%
eb8319b92d424713fc88243dd2f033a5

%SHA256SUM%
a1f92dff99dd8332250a53c351499b5a449769d7e63f00328434627e94ac1017

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmaG0WgACgkQdxk/FSvb5qa2TRAAvkDS4LgJmXOC2uswbBy7W+jJMTKo3el6UDyjOW2kLbUoNxXhZSyiyy+rZmTKz8SABeOXp7enCISMlci+BDf3awXwhvi0QPowC+fqHdo0k2SAuxaRryzos6g+K0a8JvKFymb//3xpFP0OoRReYx/fXpnTYUbv55+5kmHX+iPSbKq5EmO+CdTakRTiwZkAfMjZ+v7wDq+O/RUWUMDEt4EcLzbjZ3y41UpkvgnknRBbfasIFbVOH4P4C8G5OBwjOCteeB1+OxIr786rsJ/71/4OBHO8SkT0AE5OL3PnVng/uIADbJtFNUZINbu0TKwhMUpxSvzWV0Qsgp/G9BaapZqkNPb4kT0YS4rdtke3+MO8TaQt6FcoqTWpjbTnAXsBiBnpDRupnc9D5vQC6e2umt5Yy2vGQzbKhSLSYldm71MaNZwrwwf5c7GeqvYBQyOz5MEzenK3GXbJe8StgSksUc1ZU9TyHsst4Nw1kNT04I7z37D0jwuQ4lZeVJqJQVYeVqLMPfxwTrDiRRJ3/QSMb5bzaK90/cqjdnFRt4ZRzPiBBzIsf7qS4FcJ9pCxCw+s+BL8SsQ8nIo7aLgC2uiQY5LYdF0Jme5dYscDvmmSai8fHVflOweseSk+yckraHttAHGYqmLsLB5WQQHKwY3YE+psCoYS/HSwASMPs8csuhNuzPY=

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1720111445

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

