The latest version of tamarin-prover is 0.8.6.3-0.

exe:tamarin-prover

Dependencies

Reverse dependencies

None.