tamarin-prover-theory: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
101
VersionReverse dependencies
0.8.2.0
0.8.4.0
0.8.5.0
0.8.5.1
0.8.6.0