The FreeBSD Ports Collection ("math/spin")


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

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.


Go up one level | Go to top of ports tree