copilot-core 3.0.1

6 Reverse deps Accepted versions
copilot >=3.0.1 && <3.1
copilot-c99 >=3.0.1 && <3.1
copilot-cbmc >=2.2.1
copilot-language >=3.0.1 && <3.1
copilot-sbv ==2.2.1
copilot-theorem >=3.0 && <3.1