You are now in the directory for the port "math/spin" (package name "spin-3.35").
This is the one-line description for this port:
An on-the-fly verification system for asynchronous concurrent systems
Please read the file "pkg/DESCR" for a longer description.
Go to the top of the ports tree for a summary on how to use the ports collection.