Resolving dependencies... Error: cabal: Could not resolve dependencies: [__0] trying: liquidhaskell-0.9.0.2.1 (user goal) [__1] trying: template-haskell-2.18.0.0/installed-2.18.0.0 (dependency of liquidhaskell) [__2] trying: megaparsec-9.3.0 (dependency of liquidhaskell) [__3] next goal: liquid-fixpoint (dependency of liquidhaskell) [__3] rejecting: liquid-fixpoint-8.10.7 (conflict: liquidhaskell => liquid-fixpoint>=0.8.10.2.1 && <0.9) [__3] skipping: liquid-fixpoint-0.9.0.2.1 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=0.8.10.2.1 && <0.9' from 'liquidhaskell') [__3] rejecting: liquid-fixpoint-0.8.10.7 (conflict: megaparsec==9.3.0, liquid-fixpoint => megaparsec>=7.0.0 && <9) [__3] rejecting: liquid-fixpoint-0.8.10.2 (conflict: liquidhaskell => liquid-fixpoint>=0.8.10.2.1 && <0.9) [__3] skipping: liquid-fixpoint-0.8.10.1, liquid-fixpoint-0.8.0.2, liquid-fixpoint-0.7.0.7, liquid-fixpoint-0.7.0.6, liquid-fixpoint-0.7.0.5, liquid-fixpoint-0.7.0.3, liquid-fixpoint-0.7.0.2, liquid-fixpoint-0.7.0.1, liquid-fixpoint-0.6.0.1, liquid-fixpoint-0.5.0.1, liquid-fixpoint-0.5.0.0, liquid-fixpoint-0.4.0.0, liquid-fixpoint-0.3.0.1, liquid-fixpoint-0.3.0.0, liquid-fixpoint-0.2.3.2, liquid-fixpoint-0.2.3.1, liquid-fixpoint-0.2.3.0, liquid-fixpoint-0.2.2.0, liquid-fixpoint-0.2.1.1, liquid-fixpoint-0.2.1.0, liquid-fixpoint-0.2.0.0, liquid-fixpoint-0.1.0.0 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=0.8.10.2.1 && <0.9' from 'liquidhaskell') [__3] fail (backjumping, conflict set: liquid-fixpoint, liquidhaskell, megaparsec) After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: liquidhaskell, liquid-fixpoint, megaparsec, base, template-haskell, ghc-boot Try running with --minimize-conflict-set to improve the error message.