copilot-core 2.2.0

6 Reverse deps Accepted versions
copilot >=2.2.0
copilot-c99 ==2.2.0
copilot-cbmc >=0.2.4
copilot-language >=2.2.0
copilot-sbv ==2.2.0
copilot-theorem ==2.2.0