Re: [GHC] #12122: User's guide (master): all links to libraries are broken