| 12 Reverse deps | Accepted versions |
|---|---|
| copilot | >=4.8 && <4.9 |
| copilot-bluespec | >=4.8 && <4.9 |
| copilot-c99 | >=4.8 && <4.9 |
| copilot-cbmc | >=2.2.1 |
| copilot-interpreter | >=4.8 && <4.9 |
| copilot-language | >=4.8 && <4.9 |
| copilot-prettyprinter | >=4.8 && <4.9 |
| copilot-sbv | ==2.2.1 |
| copilot-theorem | >=4.8 && <4.9 |
| copilot-verifier | >=4.8 && <4.9 |
| copilot-visualizer | >=4.8 && <4.9 |
| ogma-core | >=4.6.1 && <4.8 |