[Bug 743230] ghc-vector-space-0.8.1 is available