copilot-sbv 2.2.0

2 Reverse deps Accepted versions
copilot >=2.2.0
copilot-cbmc >=0.6