@hackage liquid-vector0.13.1.0.1

LiquidHaskell specs for the vector package

LiquidHaskell specs for the vector package.