copilot-cbmc: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
257
VersionReverse dependencies
0.1
0.2
0.11
0.22
0.23
2.1.1
2.1.2
2.2.0
2.2.1