copilot-prettyprinter 3.15

3 Reverse deps Accepted versions
copilot >=3.15 && <3.16
copilot-interpreter -any
copilot-theorem >=3.15 && <3.16