8 Reverse deps | Accepted versions |
---|---|
copilot | >=3.16.1 && <3.17 |
copilot-c99 | >=3.16.1 && <3.17 |
copilot-cbmc | >=2.2.1 |
copilot-interpreter | >=3.16.1 && <3.17 |
copilot-language | >=3.16.1 && <3.17 |
copilot-prettyprinter | >=3.16.1 && <3.17 |
copilot-sbv | ==2.2.1 |
copilot-theorem | >=3.16.1 && <3.17 |