| Age | Commit message | Author |
|---|---|---|
| 2020-12-24 | Update | kyechou |
| 2019-12-29 | Update to the latest commit | kyechou |
| 2019-12-06 | Update to 6.5.2 and change source back to the official repo | kyechou |
| 2019-12-06 | Update to 6.5.1 | kyechou |
| 2019-08-07 | Change repo to model checker Spin | kyechou |
| 2016-09-23 | 123 | Egor Kovetskiy |
| 2016-09-23 | initial commit | Egor Kovetskiy |
| Clone | ||
| https://aur.archlinux.org/spin-git.git/ | ||