copilot-prettyprinter 3.12

3 Reverse deps Accepted versions
copilot-interpreter -any
copilot-language >=3.12 && <3.13
copilot-theorem >=3.12 && <3.13