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

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5

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

%CSIZE%
350292

%ISIZE%
1505820

%MD5SUM%
6c2a32579a821695597aab7eab600a65

%SHA256SUM%
040e6ddc56b8fb784197548183579dce82dcc5a972395f581c35c31ff3040e01

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmaIIccACgkQdxk/FSvb5qad/w/9EHugZt5hVUDiLQQOHnbYNart5bTm8QrFJrAiZZzdBLO/fn8w32Wy9Yd01d7O+jx8mrzTI9W0FqvfdUx1LQGOc/oPjtyvSklMpVLeLOpV0N5lYKqw4OxTVSFmNjPfCA4AAJMchqpHItz0aUn+sa9jdK/lGiEL58lHfgXCYZ1eZqRL0DvqbVfwScBr01jgMC92h6S0HRmk8QBCcjuN063m3tOvsZKNvDfCnmJsne5iXDk/ASVNsTo03oKAD7/dW6D4VMNecRSgu3M2XadP1oX7EWVRkmG9ud7pFigH9HOFjXEs4K3KDp04PIpC++KOoAWXk1bpdKwJ7VanATksJz9ULot23yfBOgUE7Y3AbHhMRMOa8YK45eIoHHQ6L2McUaQIiHr/nnPpoqzVgJpsXByLGQxKDhLXzSgMRkiIkDs7IlQGL3/q+bok13VdwbQrKp6np15C0NpOVr7xRsqPU1ubujNFHfHbxiH2MqZAwlX4PcwMDbpAFbzvSmG5dFjGO83xXNhtbnKlEtCpdiVBxWcabUyHGSbuClqeHfB+/E4aBB/NEnC1VhJ8fTIUzqetIFCS972ec2WNqnXvILcw+dxlXntRnY1xkhXfrVWzOtLH7rFrYFUmGGpDwZsJQ2N8Gb8j0hBgw5180f8WJxOs2VXHI6xrYDVXgqe6Tqu0KRbYXWA=

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
aarch64

%BUILDDATE%
1720197565

%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

