| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-03-06 | spin - simpler man install | Adam Vandenberg |
| 2010-01-23 | Use dot versions and comment patches | Max Howell |
| 2010-01-23 | Spin model checker 5.2.4 | Björn B. Brandenburg |
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |