copilot-theorem 3.2

2 Reverse deps Accepted versions
copilot >=3.2 && <3.3
copilot-language >=3.2 && <3.3