copilot-core 4.4

10 Reverse deps Accepted versions
copilot >=4.4 && <4.5
copilot-bluespec >=4.4 && <4.5
copilot-c99 >=4.4 && <4.5
copilot-cbmc >=2.2.1
copilot-interpreter >=4.4 && <4.5
copilot-language >=4.4 && <4.5
copilot-prettyprinter >=4.4 && <4.5
copilot-sbv ==2.2.1
copilot-theorem >=4.4 && <4.5
copilot-verifier >=4.4 && <4.5