copilot-core 3.9

6 Reverse deps Accepted versions
copilot ==3.9.*
copilot-c99 >=3.9 && <3.10
copilot-cbmc >=2.2.1
copilot-language ==3.9.*
copilot-sbv ==2.2.1
copilot-theorem >=3.9 && <3.10