[Bug 1060009] ghc-vector-0.10.12.3 is available