Resolving dependencies... cabal: Could not resolve dependencies: next goal: liquidhaskell (user goal) rejecting: liquidhaskell-0.8.0.0, liquidhaskell-0.7.0.0 (constraint from user target requires ==0.6.0.1) trying: liquidhaskell-0.6.0.1 next goal: ghc (dependency of liquidhaskell-0.6.0.1) rejecting: ghc-8.0.2/installed-8.0... (conflict: liquidhaskell => ghc>=7.10.2 && <7.11) Dependency tree exhaustively searched.