diff options
| author | Björn B. Brandenburg | 2009-12-09 14:14:23 -0500 |
|---|---|---|
| committer | Max Howell | 2010-01-23 10:48:45 +0000 |
| commit | 2b6430dde2784a2c5a7ee673684a35e43dacf2dc (patch) | |
| tree | b5e3b7ab4aa3da04a62bfbb1689e3f73a1965ee9 /Library/Formula/ghostscript.rb | |
| parent | 70101b34d415edeaba38a54737bb6b6cfa488afe (diff) | |
| download | homebrew-2b6430dde2784a2c5a7ee673684a35e43dacf2dc.tar.bz2 | |
Spin model checker 5.2.4
A verification tool for models of concurrent systems.
Manually installing spin on Mac OS X is somewhat cumbersome and requires edits
to the makefile, as as detailed at http://spinroot.com/spin/Man/README.html.
The included DATA patch automates this.
(My thanks to adamv, who pointed out how to simplify this formula greatly.)
Diffstat (limited to 'Library/Formula/ghostscript.rb')
0 files changed, 0 insertions, 0 deletions