Resolving dependencies... Error: cabal: Could not resolve dependencies: [__0] trying: liquidhaskell-0.9.8.1 (user goal) [__1] trying: liquidhaskell-boot-0.9.8.1 (dependency of liquidhaskell) [__2] trying: template-haskell-2.20.0.0/installed-2.20.0.0 (dependency of liquidhaskell-boot) [__3] next goal: ghc-boot (dependency of liquidhaskell-boot) [__3] rejecting: ghc-boot-9.6.3/installed-9.6.3 (conflict: liquidhaskell => bytestring==0.12.0.2, ghc-boot => bytestring==0.11.5.2/installed-0.11.5.2) [__3] rejecting: ghc-boot-9.8.1 (conflict: template-haskell => ghc-boot-th==9.6.3/installed-9.6.3, ghc-boot => ghc-boot-th==9.8.1) [__3] rejecting: ghc-boot-9.6.3 (only already installed instances can be used) [__3] rejecting: ghc-boot-9.6.1 (conflict: template-haskell => ghc-boot-th==9.6.3/installed-9.6.3, ghc-boot => ghc-boot-th==9.6.1) [__3] rejecting: ghc-boot-9.6.0.20230302 (conflict: template-haskell => ghc-boot-th==9.6.3/installed-9.6.3, ghc-boot => ghc-boot-th==9.6.0.20230302) [__3] rejecting: ghc-boot-9.4.1 (conflict: template-haskell => base==4.18.1.0/installed-4.18.1.0, ghc-boot => base>=4.7 && <4.18) [__3] rejecting: ghc-boot-9.2.2, ghc-boot-9.2.1 (conflict: template-haskell => base==4.18.1.0/installed-4.18.1.0, ghc-boot => base>=4.7 && <4.17) [__3] rejecting: ghc-boot-9.0.1 (conflict: template-haskell => base==4.18.1.0/installed-4.18.1.0, ghc-boot => base>=4.7 && <4.16) [__3] rejecting: ghc-boot-8.8.3, ghc-boot-8.8.1 (conflict: template-haskell => base==4.18.1.0/installed-4.18.1.0, ghc-boot => base>=4.11 && <4.14) [__3] rejecting: ghc-boot-8.6.5, ghc-boot-8.6.4, ghc-boot-8.6.1 (conflict: template-haskell => base==4.18.1.0/installed-4.18.1.0, ghc-boot => base>=4.10 && <4.13) [__3] rejecting: ghc-boot-8.4.4, ghc-boot-8.4.3, ghc-boot-8.4.2, ghc-boot-8.4.1 (conflict: template-haskell => base==4.18.1.0/installed-4.18.1.0, ghc-boot => base>=4.8 && <4.12) [__3] rejecting: ghc-boot-8.2.2, ghc-boot-8.2.1 (conflict: template-haskell => base==4.18.1.0/installed-4.18.1.0, ghc-boot => base>=4.8 && <4.11) [__3] rejecting: ghc-boot-8.0.2, ghc-boot-8.0.1 (conflict: template-haskell => base==4.18.1.0/installed-4.18.1.0, ghc-boot => base>=4.7 && <4.10) [__3] fail (backjumping, conflict set: ghc-boot, liquidhaskell, liquidhaskell-boot, template-haskell) After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: base, liquidhaskell, template-haskell, ghc-boot, liquidhaskell-boot Try running with --minimize-conflict-set to improve the error message.