Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: tamarin-prover-utils (user goal)
rejecting: tamarin-prover-utils-0.8.5.1, tamarin-prover-utils-0.8.5.0,
tamarin-prover-utils-0.8.4.0, tamarin-prover-utils-0.8.2.0,
tamarin-prover-utils-0.8.1.0, tamarin-prover-utils-0.8.0.1,
tamarin-prover-utils-0.8.0.0, tamarin-prover-utils-0.6.0.0,
tamarin-prover-utils-0.4.1.0, tamarin-prover-utils-0.4.0.0 (constraint from
user target requires ==0.1.0.0)
trying: tamarin-prover-utils-0.1.0.0
trying: base-4.9.0.0/installed-4.9... (dependency of
tamarin-prover-utils-0.1.0.0)
next goal: binary (dependency of tamarin-prover-utils-0.1.0.0)
rejecting: binary-0.8.3.0/installed-0.8..., binary-0.8.4.1, binary-0.8.4.0,
binary-0.8.3.0, binary-0.8.2.1, binary-0.8.2.0, binary-0.8.1.0,
binary-0.8.0.1, binary-0.8.0.0, binary-0.7.6.1, binary-0.7.6.0,
binary-0.7.5.0, binary-0.7.4.0, binary-0.7.3.0, binary-0.7.2.3,
binary-0.7.2.2, binary-0.7.2.1, binary-0.7.2.0, binary-0.7.1.0,
binary-0.7.0.1, binary-0.7.0.0, binary-0.6.4.0, binary-0.6.3.0,
binary-0.6.2.0, binary-0.6.1.0, binary-0.6.0.0 (conflict: tamarin-prover-utils
=> binary==0.5.*)
rejecting: binary-0.5.1.1, binary-0.5.1.0, binary-0.5.0.2, binary-0.5.0.1,
binary-0.5 (conflict: base==4.9.0.0/installed-4.9..., binary => base>=3.0 &&
<4.7 || <3.0)
rejecting: binary-0.4.5, binary-0.4.4, binary-0.4.3.1, binary-0.4.3,
binary-0.4.2, binary-0.4.1, binary-0.4, binary-0.3, binary-0.2 (conflict:
tamarin-prover-utils => binary==0.5.*)
Dependency tree exhaustively searched.