copilot-core 3.2

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