Re: [GHC] #7340: Building fails with dph-base_dist-install_GHCI_LIB not defined