tamarin-prover-term: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
202
VersionReverse dependencies
0.1.0.0
0.4.0.0
0.4.1.0
0.6.0.0
0.8.0.0
0.8.1.0
0.8.2.0
0.8.4.0
0.8.5.0
0.8.5.1