copilot-core 3.16.1

8 Reverse deps Accepted versions
copilot >=3.16.1 && <3.17
copilot-c99 >=3.16.1 && <3.17
copilot-cbmc >=2.2.1
copilot-interpreter >=3.16.1 && <3.17
copilot-language >=3.16.1 && <3.17
copilot-prettyprinter >=3.16.1 && <3.17
copilot-sbv ==2.2.1
copilot-theorem >=3.16.1 && <3.17