%FILENAME%
spin-6.5.2-5.1-x86_64.pkg.tar.zst

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5.1

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

%CSIZE%
389046

%ISIZE%
1117172

%SHA256SUM%
2b85e30da0351071662ccf2cef823d7cd4b5c954fed170070ec5186acad59b9b

%PGPSIG%
iQGzBAABCAAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmaGdMkACgkQ87YHSI2zWkdxQgwAqkVFKupevf/0Ojsh8Z2jxt7xZt3Hvupo+0VHARIFRdciS7PqCHHS8e3p9vhjXC8QnSyNaIl041qOsQ0UXQ9PFYKicUdAVSpSUvJxN2y5gU/hmhwkW533L5+SGnDAVBmHlYEzUBbgO4ESxL76YIgqyZ3HQLykxfax5AJAFCAPKnTS5nkrm96w4okLS4W7xG5YPNCECBlIRIJzcXjWpyRVJ8eMqVhpd5dS8h4TOIXAWI88uwTDMDtPaEjpGD67FcvxmZc4/UvVCoDgzrfm6hSNDnF9g9H9UDk9S+ZxrZF+rIiYvvyxhJ05WLSaSyBOHUnXsiXW5XCyK6CmeBaz94qNTcL8XJ1JGEIMfo4ZjR6naSjnxzixWbZABjBvH3/3lQZpIbVibP4++Xly0XJqBpg71lgWOmoSi7gyIu1XQUYeqTdMbrtBPTUJ2sK5EVDmm3qgFHYRAd2swfxNyVt89B5auzwEwBjsKnPknE5HvEkNvA5jH3uY7lx7sNItNvbf79Xu

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
x86_64

%BUILDDATE%
1720087749

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
glibc

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

