/tools/ghc-vector/

• ../
• ghc-vector.spec
• vector-debian-no_ann_without_ghci.patch