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

6 commits

Author SHA1 Message Date
Mike McQuaid
88779ade49 Batch convert MD5 formula to SHA1. 
Closes Homebrew/homebrew#14653.
 2012-09-03 11:36:42 -07:00
Adam Vandenberg
4147b05c57 Use ruby style for inheritance. 2011-03-12 11:55:09 -08:00
Ville Lautanala
dc521bb9d7 xspin 5.2.5 
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
 2010-10-07 06:58:12 -07:00
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