Re: [GHC] #15221: failure to build pandoc on Debian armhf