BSD PortsOri Bernstein <[email protected]> 1 ports
| Port | System | Version | Comment |
|---|---|---|---|
| lang/spin | OpenBSD | 6.4.7p0 | lang/spin 6.4.7p0: tool for formal verification of parallel software. OpenBSD port maintained by Ori Bernstein <[email protected]>. |
| Port | System | Version | Comment |
|---|---|---|---|
| lang/spin | OpenBSD | 6.4.7p0 | lang/spin 6.4.7p0: tool for formal verification of parallel software. OpenBSD port maintained by Ori Bernstein <[email protected]>. |