Resolving dependencies...
cabal: Could not resolve dependencies:
trying: tamarin-prover-0.8.6.3 (user goal)
trying: tamarin-prover-utils-0.8.5.1 (dependency of tamarin-prover-0.8.6.3)
trying: SHA-1.6.4.2 (dependency of tamarin-prover-utils-0.8.5.1)
next goal: binary (dependency of tamarin-prover-0.8.6.3)
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
=> 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 => binary==0.5.*)
Dependency tree exhaustively searched.