Resolving dependencies... Error: cabal: Could not resolve dependencies: [__0] trying: liquidhaskell-boot-0.9.4.7.0 (user goal) [__1] trying: template-haskell-2.18.0.0/installed-2.18.0.0 (dependency of liquidhaskell-boot) [__2] trying: ghc-boot-9.2.4/installed-9.2.4 (dependency of liquidhaskell-boot) [__3] next goal: ghc (dependency of liquidhaskell-boot) [__3] rejecting: ghc-9.2.4/installed-9.2.4 (conflict: liquidhaskell-boot => ghc^>=9.4) [__3] skipping: ghc-9.8.1, ghc-9.6.3, ghc-9.6.1 (has the same characteristics that caused the previous version to fail: excluded by constraint '^>=9.4' from 'liquidhaskell-boot') [__3] rejecting: ghc-9.4.7 (conflict: ghc-boot==9.2.4/installed-9.2.4, ghc => ghc-boot==9.4.7) [__3] skipping: ghc-9.4.6, ghc-9.4.5, ghc-9.4.4, ghc-9.4.3, ghc-9.4.2, ghc-9.4.1, ghc-9.2.8, ghc-9.2.7, ghc-9.2.6, ghc-9.2.5 (has the same characteristics that caused the previous version to fail: excludes 'ghc-boot' version 9.2.4) [__3] rejecting: ghc-9.2.4 (conflict: liquidhaskell-boot => ghc^>=9.4) [__3] skipping: ghc-9.2.3, ghc-9.2.2, ghc-9.2.1, ghc-9.0.2, ghc-8.10.7, ghc-8.10.2, ghc-8.10.1, ghc-8.8.3, ghc-8.8.1, ghc-8.6.5, ghc-8.6.4, ghc-8.6.1, ghc-8.4.4, ghc-8.4.3, ghc-8.4.1, ghc-8.2.2, ghc-8.2.1, ghc-9.2.3.20220620 (has the same characteristics that caused the previous version to fail: excluded by constraint '^>=9.4' from 'liquidhaskell-boot') [__3] fail (backjumping, conflict set: ghc, ghc-boot, liquidhaskell-boot) After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: base, ghc, liquidhaskell-boot, ghc-boot, template-haskell Try running with --minimize-conflict-set to improve the error message.