use-debian-gen_contents_index
ARM-VFPv3D16
no-missing-haddock-file-warning
haddock-hardcode-ghc-paths
Fix-documentation-build-failure-without-GHCi.patch
arm64.patch
mips-support.patch
