devel/smv
| Maintainer | ports@FreeBSD.org |
|---|---|
| Comment | Symbolic Model Verifier System for checking finite state systems |
| Categories | devel |
| Links | FreshPorts upstream |
Fallout list
| version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|
| 2.5.4.3_11 | main-amd64-default | build | detail · log · report · build queue | |
| 2.5.4.3_11 | 144amd64-default | build | detail · log · report · build queue | |
| 2.5.4.3_11 | main-amd64-default | build | detail · log · report · build queue |