copilot-core 3.11

7 Reverse deps Accepted versions
copilot ==3.11.*
copilot-c99 >=3.11 && <3.12
copilot-cbmc >=2.2.1
copilot-interpreter -any
copilot-language ==3.11.*
copilot-sbv ==2.2.1
copilot-theorem >=3.11 && <3.12