The efficient verification tool of multi-threaded software

Current version:

Homepage: https://spinroot.com/spin/whatispin.html

Reverse dependencies

The following formula requires spin to be installed:

Formula history

Mike McQuaid spin: remove unused fails_with :llvm.
Hiroshi Hatake spin 6.4.5
Viktor Szakats spin: use https homepage
Baptiste Fontaine spin: use an https url
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Brett Koonce spin 6.4.2
Brett Koonce spin 6.4.0
Brett Koonce spin 6.3.2
Brett Koonce spin 6.2.7
Brett Koonce spin 6.2.5
Show all revisions of this formula