Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: tamarin-prover-theory (user goal)
rejecting: tamarin-prover-theory-0.8.6.0, 0.8.5.1, 0.8.5.0 (global constraint
requires ==0.8.4.0)
trying: tamarin-prover-theory-0.8.4.0
trying: tamarin-prover-utils-0.8.5.1 (dependency of
tamarin-prover-theory-0.8.4.0)
trying: SHA-1.6.4.2 (dependency of tamarin-prover-utils-0.8.5.1)
next goal: binary (dependency of tamarin-prover-theory-0.8.4.0)
rejecting: binary-0.7.5.0/installed-072..., 0.7.6.1, 0.7.6.0, 0.7.5.0,
0.7.4.0, 0.7.3.0, 0.7.2.3, 0.7.2.2, 0.7.2.1, 0.7.2.0, 0.7.1.0, 0.7.0.1,
0.7.0.0, 0.6.4.0, 0.6.3.0, 0.6.2.0, 0.6.1.0, 0.6.0.0 (conflict:
tamarin-prover-theory => binary==0.5.*)
rejecting: binary-0.5.1.1, 0.5.1.0, 0.5.0.2, 0.5.0.1, 0.5 (conflict: SHA =>
binary>=0.7 && <10000)
rejecting: binary-0.4.5, 0.4.4, 0.4.3.1, 0.4.3, 0.4.2, 0.4.1, 0.4, 0.3, 0.2
(conflict: tamarin-prover-theory => binary==0.5.*)
Dependency tree exhaustively searched.