pkgsrc/lang/ghc80/patches