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
9 fallouts of a version the ports tree has moved past are left out. Show them.
No pkg-fallout recorded for this port.