You are now in the directory for the port "devel/spin".
The package name of this port is "spin-4.0.3".
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.
If needed, you may contact the maintainer of this port or the port mailing-list.
Go to the top of the ports tree for a summary on how to use the ports collection.