%FILENAME%
spin-6.5.2-5.0-i686.pkg.tar.zst

%NAME%
spin

%BASE%
spin

%VERSION%
6.5.2-5.0

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

%CSIZE%
320978

%ISIZE%
907920

%MD5SUM%
eb159bb35b629353ab23903a25cc0025

%SHA256SUM%
7b6321726f31f829c1de3711629acf922e6afa2926e13c5d0f05baef281037fb

%PGPSIG%
iQIzBAABCAAdFiEEgOwYeZ6LzTdcbmSr5NQVaRlrEWAFAmaN4CMACgkQ5NQVaRlrEWBmgBAApUa8grmKaTo0Ue95RAYxBhTijfmzAZ++6EINoA9j+imhsyrVm+QIq89AxzzWhQLtwA2//PsXV7vPZKtnK9jd5Okyq2fuqDyjPD86XnT1dzSHkRqeyd4xlx/xNcTKSOJ9aIHY/IjTbQna2YOxK+sXhF+U0OgtuRKw4OwUOtlZa8yYEHfniPP/ubdOOqG8chRK0nnuqMbkiwhfMByexFYU4WakCQetlPX7jisoeVSq5zXt50/tkIsSXeyCi0Gwk7zKRTEEoZ9GTtGtFcrNsTZtgzxS/6m0Hv45AoWgu7TiC0CVyFN5aVCM7DP/SLI/uQ/3Q6kkMzFapdFYTKNKi4Q+sLKR5zaH6NkPt21k26NQ80RiA3iUnp7yBL2bzRBtBGixHRoiNY1aNhs7o3KutqoOp3rna5bq+tPD75l3/wQDvDuSG8RDphlRNkfuGlIAN/x8wwMMAYUyy379OaYJdxdzQSHpSiS8DXlTno3zTwT7VbD53buBD/wuDhgcf3/okK3h9JTWNTFLZZ86lQ2VFtBKBFAWDmHZRvnti3bba2U8Vb4nCZrrWVop0ERhIzOYHeXVznd1z/9quwCDCwpItfJECMVtMXKEwq5i5YoMglZBAILU8GpqzOiZ5ZEIQJvBL1Fas6nWCKFMx7+ufBdyoe/HYJlRQNxVa8UEAiM6YYnP9Go=

%URL%
https://spinroot.com/

%LICENSE%
custom:BSD3

%ARCH%
i686

%BUILDDATE%
1720573945

%PACKAGER%
TasosSah <arch32@tasossah.com>

%DEPENDS%
glibc

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

