Resolving dependencies... cabal: Could not resolve dependencies: next goal: liquidhaskell (user goal) rejecting: liquidhaskell-0.8.0.0, liquidhaskell-0.7.0.0, liquidhaskell-0.6.0.0, liquidhaskell-0.5.0.1, liquidhaskell-0.5.0.0, liquidhaskell-0.4.1.1, liquidhaskell-0.4.1.0, liquidhaskell-0.4.0.1, liquidhaskell-0.4.0.0, liquidhaskell-0.3.1.0, liquidhaskell-0.3.0.0, liquidhaskell-0.2.1.0, liquidhaskell-0.2.0.0, liquidhaskell-0.1 (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.