copilot-cbmc 2.2.0

1 Reverse dep Accepted versions
copilot >=2.2.0