Spin 安装6.4.6版本

http://spinroot.com/spin/Man/README.html#S1a

在这里没有下载到6.4.6版本

在这边下到了6.4.6

https://digitalpadm.com/how-to-install-spin-model-checker-on-linux-ubuntu-16-04/

但是会出错误，且第二个链接给出的改错方法不成功

按照第一个链接的方法改错成功