The FreeBSD Ports Collection ("devel/spin")


You are now in the directory for the port "devel/spin" (package name "spin-3.5.0").

This is the one-line description for this port:


An on-the-fly verification system for asynchronous concurrent systems


Please read the "description file" for a longer description.

Go to the top of the ports tree for a summary on how to use the ports collection.


Go up one level | Go to top of ports tree