copilot-prettyprinter 4.2

4 Reverse deps Accepted versions
copilot >=4.2 && <4.3
copilot-interpreter >=0
copilot-theorem >=4.2 && <4.3
copilot-verifier >=4.2 && <4.3