tamarin-prover-term 0.8.5.1

2 Reverse deps Accepted versions
tamarin-prover >=0.8.5.1 && <0.9
tamarin-prover-theory >=0.8.5.1 && <0.9