wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
3149 commits 3 branches 0 tags 278 MiB
Commit graph

3 commits

Author SHA1 Message Date
Adam Vandenberg
7490d38e84 Use Pathname support for renames. 2010-03-07 11:27:23 -08:00
Max Howell
6d1c59c75c Use dot versions and comment patches 2010-01-23 10:53:41 +00:00
Björn B. Brandenburg
473253db74 xspin GUI 5.2.3 
A TCL/TK-based GUI for the Spin model checker.

Manually installing xspin on Mac OS X requires edits to the script, as detailed
at http://spinroot.com/spin/Man/README.html. The included DATA patch automates
this.

(My thanks go to adamv, who pointed out how to simplify this formula.)
 2010-01-23 10:48:45 +00:00