tamarin-prover-term
0.8.5.1
Only display out-of-date packages.
2 Reverse deps
Accepted versions
tamarin-prover
>=0.8.5.1 && <0.9
tamarin-prover-theory
>=0.8.5.1 && <0.9