copilot-sbv 2.2.1

2 Reverse deps Accepted versions
copilot >=2.2.1
copilot-cbmc >=2.2.1