tamarin-prover: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
101
VersionReverse dependencies
0.1.0.0
0.1.1.0
0.4.0.0
0.4.1.0
0.6.0.0
0.6.1.0
0.8.0.0
0.8.1.0
0.8.2.0
0.8.2.1
0.8.4.0
0.8.5.0
0.8.5.1
0.8.6.0
0.8.6.1
0.8.6.2
0.8.6.3