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

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-4

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

%CSIZE%
302084

%ISIZE%
1062776

%MD5SUM%
119166719ec67da13cd585327f15f26a

%SHA256SUM%
09d26c84e5863773569a1c27fc377cb0b6d2f25f1523e4a1095a7a2dbc505ac6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl76xBkACgkQdxk/FSvb5qb8Rg/9FWyP6JtutEDQPMbKkZs2xegemUE87MsRv5J7GScdQFPZpBgDJR0WPk+K0lMEB/h9iVyzJ9HmmTREG7KPxggVkmvsFZeA+UgKniEW22XqnZ59DYSIlspO29qLqsLYQq1+g/EDrM4WzDnHYZuMEWsyN6pjx+15jND4jqxz5GacA49kvu8Alwd0M1JeXF93M5OaEg7dI4i8n0/5xgJRRq1NA1Eao+FLI1v1oVJNEUxHFwgQhrkOcHoETkYV1vGiPlP4cvKG5wrue/ggN5QOCf7pCaOfHCq0CPxJggCXTozL6wtfyZGS4q4Y+yKje1BlMa07RpTF4dbObGW4z4JXvnVD91UM4Qmvd/rJyS6aljvw1eu7pDWzxYujZfUknmXgF4XNFLdWI1GnVEFChT4Ni1p84Ue8lph1Rnc2XzK5nG+a1+opoiOCjDGq4DtOZlnVu/7o2l5zIXYpgbMGVvC8g+FcL0UNvzoLSHiUCrTaCTGiE9NXXsaEIy7/lIch8wAaF2hZ9FRtOeIgPNcCKRLidYJ+Cwsv6HhVnil3I4PYEgCFBh7shJXzUliyQO8ZP/VNKBDvsxej/vEAlpQlXrEY/22QEYtmZhYLJIRHAjhjzhD1UdmIbBB4cJSGo7Uu8OkMOOtnoOW23e4QcQfLhAvrEIcYyfl82Bbbnor053D7B2/wMsw=

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1593492489

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

