Hi all, I've finished quite a big rebase and was trying to rebuild, but it failed with: ghc-cabal: Encountered missing dependencies: Cabal ==2.5.* I then tried applying my patch on a fresh checkout of GHC and found the reason: libraries/Cabal/Cabal/Distribution/Compat/Prelude.hs:119:1:error: Bad interface file: libraries/Cabal/Cabal/dist-boot/build/Distribution/Compat/Binary.hi Something is amiss; requested module Cabal-2.4.0.1:Distribution.Compat.Binary differs from name found in the interface file Cabal-2.5.0.0:Distribution.Compat.Binary (if these names look the same, try again with -dppr-debug) | 119 |import Distribution.Compat.Binary (Binary (..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ libraries/Cabal/Cabal/Distribution/Compat/Prelude.hs:120:1:error: Bad interface file: libraries/Cabal/Cabal/dist-boot/build/Distribution/Compat/Semigroup.hi Something is amiss; requested module Cabal-2.4.0.1:Distribution.Compat.Semigroup differs from name found in the interface file Cabal-2.5.0.0:Distribution.Compat.Semigroup (if these names look the same, try again with -dppr-debug) | 120 |import Distribution.Compat.Semigroup (Semigroup (..), gmappend, gmempty) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ libraries/Cabal/Cabal/Distribution/Compat/Prelude.hs:141:1:error: Bad interface file: libraries/Cabal/Cabal/dist-boot/build/Distribution/Compat/Stack.hi Something is amiss; requested module Cabal-2.4.0.1:Distribution.Compat.Stack differs from name found in the interface file Cabal-2.5.0.0:Distribution.Compat.Stack (if these names look the same, try again with -dppr-debug) | 141 |import Distribution.Compat.Stack | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ I'm sure I did `git module update`; I even `git clean` everything and `make` from fresh but somehow the cabal still isn't updated. Can anyone help me on why this is happening and how to fix it? Thanks so much, My