| 10 Reverse deps | Accepted versions |
|---|---|
| copilot | ==3.19.* |
| copilot-bluespec | ==3.19.* |
| copilot-c99 | ==3.19.* |
| copilot-cbmc | >=2.2.1 |
| copilot-interpreter | ==3.19.* |
| copilot-language | ==3.19.* |
| copilot-prettyprinter | >=3.19 && <3.20 |
| copilot-sbv | ==2.2.1 |
| copilot-theorem | ==3.19.* |
| copilot-verifier | ==3.19.* |