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

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-4

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

%CSIZE%
348784

%ISIZE%
1476956

%MD5SUM%
b359ef190e8bf442e1bfd45d536e4797

%SHA256SUM%
42c33b301ac613a0b021f834de72878acdd5cce7a259ffb853dfe49155539388

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl76xAgACgkQdxk/FSvb5qb61w//ei9DT2WV62UOdu/XCtZC5+pbxi0sqePM8O+eGOTgEzB621hCwE1XgJoBEJxbXBA2wNe+6tUSdtdNEQcCNRGFY+iU4fnATRixPKcsRZ9WayqwOp4nmwkf+fcKWAzU7PqRsz/OUqsRhAbtSv2kPChr2tuih7RyfkJieLwPnl7glojKtNbsZ2ALyUxKr7zhcuCBgnhODHJB1UBaOt8g3V/Uu9aA5Kra+dkdNizgfjWnTVLEEOJdGokNKzHNaZcHAp9SHm1CFeupq2dx/uCKwxX3C1jJTdipiWnqttNG3oEocYE7CQGbkaRFYDzghoTvkRTWgYTgRQ7tioNC+/sIMloP2NXJiPFKKhs7IAdXItO695MAAxQtkpGXRDBvLlPDaG4Q+sqjsKhFGjAlMeGBo5vYpUeuVmE/LRcU+/YWNzE6OKNNrySsYcroJb6BdTLf7qIoTqFdzfFKA8j08HI5RoF0KSnDQC3VG2Gy9xYmApYBheLgXBmpr0tOLYadeC7zzKkFzd27piWCQgbmz+37HhFerYg3x7lbIJOG05qFvklAf6689MYXlpKYUAw3ywVVX/Oc7cnVgsw/Prs/qkSphcvLFYRq527I/OHz4rqDFIKf/MEIM5KvkZAh+tNGsaTHmW8Jc6bWphtqbRWoZgXqlbGT29UW8+SM70zQ89kHHdtMp1k=

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
aarch64

%BUILDDATE%
1593492477

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

%DEPENDS%
glibc

%OPTDEPENDS%
tcl: ispin graphical interface
swarm: improved performance on large verification problems
ispin: GUI for Spin

