| Age | Commit message (Expand) | Author | 
|---|---|---|
| 2011-03-25 | Update fails_with_llvm in formulae | Adam Vandenberg | 
| 2011-03-12 | Use ruby style for inheritance. | Adam Vandenberg | 
| 2010-10-07 | spin 5.2.5 | Ville Lautanala | 
| 2010-08-07 | Update formulae for version 0.7 | Adam Vandenberg | 
| 2010-06-16 | Add "fails_with_llvm" to formula to document LLVM build breaks. | Adam Vandenberg | 
| 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 | 
