Dependencies for tamarin-prover-utils-0.8.5.0

library