Resolving dependencies... cabal: Could not resolve dependencies: [__0] trying: liquid-prelude-0.8.10.1 (user goal) [__1] trying: liquidhaskell-0.8.10.1 (dependency of liquid-prelude) [__2] trying: base-4.12.0.0/installed-4.12.0.0 (dependency of liquidhaskell) [__3] next goal: liquid-base (dependency of liquid-prelude) [__3] rejecting: liquid-base-4.14.0.0 (conflict: base==4.12.0.0/installed-4.12.0.0, liquid-base => base==4.14.0.0) [__3] fail (backjumping, conflict set: base, liquid-base, liquid-prelude) After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: base, liquid-prelude, liquidhaskell, liquid-base Try running with --minimize-conflict-set to improve the error message.