Resolving dependencies...
cabal: Could not resolve dependencies:
trying: base-4.9.0.0/installed-4.9... (dependency of
tamarin-prover-term-0.8.4.0)
next goal: fclabels (dependency of tamarin-prover-utils-0.8.5.1)
rejecting: fclabels-2.0.3.2, fclabels-2.0.3.1, fclabels-2.0.3,
fclabels-2.0.2.4, fclabels-2.0.2.3, fclabels-2.0.2.2, fclabels-2.0.2.1,
fclabels-2.0.2, fclabels-2.0.1.1, fclabels-2.0.1, fclabels-2.0.0.5,
fclabels-2.0.0.4, fclabels-2.0.0.3, fclabels-2.0.0.2, fclabels-2.0.0.1,
fclabels-2.0 (conflict: tamarin-prover-utils => fclabels==1.*)
trying: fclabels-1.1.7.1
next goal: template-haskell (dependency of fclabels-1.1.7.1)
rejecting: template-haskell-2.11.0.0/installed-2.1...,
template-haskell-2.11.0.0, template-haskell-2.10.0.0, template-haskell-2.9.0.0
(conflict: fclabels => template-haskell>=2.2 && <2.9)
rejecting: template-haskell-2.8.0.0 (conflict: base==4.9.0.0/installed-4.9...,
template-haskell => base==4.6.*)
rejecting: template-haskell-2.7.0.0 (conflict: base==4.9.0.0/installed-4.9...,
template-haskell => base==4.5.*)
rejecting: template-haskell-2.6.0.0 (conflict: base==4.9.0.0/installed-4.9...,
template-haskell => base==4.4.*)
rejecting: template-haskell-2.5.0.0 (conflict: base==4.9.0.0/installed-4.9...,
template-haskell => base==4.3.*)
rejecting: template-haskell-2.4.0.1 (conflict: base==4.9.0.0/installed-4.9...,
template-haskell => base==4.2.*)
rejecting: template-haskell-2.4.0.0 (conflict: base==4.9.0.0/installed-4.9...,
template-haskell => base>=3 && <4.3)
rejecting: template-haskell-2.3.0.1, template-haskell-2.3.0.0,
template-haskell-2.2.0.0 (conflict: base==4.9.0.0/installed-4.9...,
template-haskell => base<4.3)
Dependency tree exhaustively searched.