Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: beautifHOL (user goal)
rejecting: beautifHOL-0.11 (global constraint requires ==0.10)
trying: beautifHOL-0.10
trying: base-4.8.1.0/installed-4f7... (dependency of beautifHOL-0.10)
trying: array-0.5.1.0/installed-d42... (dependency of beautifHOL-0.10)
next goal: haskell98 (dependency of beautifHOL-0.10)
rejecting: haskell98-2.0.0.3 (conflict: base==4.8.1.0/installed-4f7...,
haskell98 => base>=4.7 && <4.8)
rejecting: haskell98-2.0.0.2 (conflict: base==4.8.1.0/installed-4f7...,
haskell98 => base==4.6.*)
rejecting: haskell98-2.0.0.1 (conflict: array==0.5.1.0/installed-d42...,
haskell98 => array>=0.3 && <0.5)
rejecting: haskell98-2.0.0.0 (conflict: array==0.5.1.0/installed-d42...,
haskell98 => array>=0.3 && <0.4)
rejecting: haskell98-1.1.0.1, 1.1.0.0, 1.0.1.1 (conflict:
base==4.8.1.0/installed-4f7..., haskell98 => base>=3 && <4.6)
rejecting: haskell98-1.0.1.0 (conflict: base==4.8.1.0/installed-4f7...,
haskell98 => base<4.6)
rejecting: haskell98-1.0 (conflict: base==4.8.1.0/installed-4f7..., haskell98
=> base<4.3)
Dependency tree exhaustively searched.