Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: tamarin-prover (user goal)
rejecting: tamarin-prover-0.8.6.1, 0.8.6.0, 0.8.5.1, 0.8.5.0, 0.8.4.0,
0.8.2.1, 0.8.2.0, 0.8.1.0, 0.8.0.0 (global constraint requires ==0.6.1.0)
trying: tamarin-prover-0.6.1.0
trying: derive-2.5.22 (dependency of tamarin-prover-0.6.1.0)
next goal: template-haskell (dependency of derive-2.5.22)
rejecting: template-haskell-2.9.0.0/installed-3af... (conflict:
template-haskell => containers==0.5.5.1/installed-23e..., tamarin-prover =>
containers>=0.4.2 && <0.5)
rejecting: template-haskell-2.10.0.0 (conflict:
base==4.7.0.1/installed-e4b..., template-haskell => base==4.8.*)
trying: template-haskell-2.9.0.0
next goal: fclabels (dependency of tamarin-prover-0.6.1.0)
rejecting: fclabels-2.0.2.2, 2.0.2.1, 2.0.2, 2.0.1.1, 2.0.1, 2.0.0.5, 2.0.0.4,
2.0.0.3, 2.0.0.2, 2.0.0.1, 2.0 (conflict: tamarin-prover => fclabels==1.1.*)
rejecting: fclabels-1.1.7.1, 1.1.7, 1.1.6, 1.1.5, 1.1.4.3 (conflict:
template-haskell==2.9.0.0, fclabels => template-haskell>=2.2 && <2.9)
rejecting: fclabels-1.1.4.2, 1.1.4.1, 1.1.4, 1.1.3, 1.1.2, 1.1.1.1, 1.1.1.0,
1.1.0.2, 1.1.0.1 (conflict: template-haskell==2.9.0.0, fclabels =>
template-haskell>=2.2 && <2.8)
rejecting: fclabels-1.1.0 (conflict: template-haskell==2.9.0.0, fclabels =>
template-haskell>=2.2 && <2.7)
rejecting: fclabels-1.0.5, 1.0.4, 1.0.3, 1.0.2, 1.0.1, 1.0, 0.11.2, 0.11.1.1,
0.11.1, 0.11.0, 0.9.1, 0.9.0, 0.4.2.1, 0.4.2, 0.4.1, 0.4.0, 0.3.0, 0.2.0,
0.1.2, 0.1 (conflict: tamarin-prover => fclabels==1.1.*)
Dependency tree exhaustively searched.