math/rumur
| Maintainer | yuri@FreeBSD.org |
|---|---|
| Version | 2026.09.13 |
| Comment | Model checker, a formal verification tool for state machines |
| Categories | math |
| Links | FreshPorts upstream |
Fallout list
Showing every version, including the 9 the ports tree has moved past. Hide them.
| version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|
| 2026.03.11 → 2026.09.13 | 144arm64-default | package | detail · log · report · build queue | |
| 2026.03.11 → 2026.09.13 | 144amd64-default | package | detail · log · report · build queue | |
| 2026.03.11 → 2026.09.13 | 150arm64-default | package | detail · log · report · build queue | |
| 2026.03.11 → 2026.09.13 | 150amd64-default | package | detail · log · report · build queue | |
| 2026.03.11 → 2026.09.13 | 144i386-default | package | detail · log · report · build queue | |
| 2026.03.11 → 2026.09.13 | 150amd64-default | package | detail · log · report · build queue | |
| 2026.03.11 → 2026.09.13 | 144i386-default | package | detail · log · report · build queue | |
| 2026.03.11 → 2026.09.13 | 150arm64-default | package | detail · log · report · build queue | |
| 2026.03.11 → 2026.09.13 | 144amd64-default | package | detail · log · report · build queue |