Hi Simon, On Thu, May 09, 2013 at 12:31:22PM +0000, Simon Peyton-Jones wrote: > Afraid not. I'd tried "git submodule update". The command you give is a no-op; libraries/Cabal is stuck on commit 14c5a3f; and that's what git submodule status says it should be. But it shouldn't! What does git log -p libraries/Cabal say? Thanks Ian