diff --git a/liquid-vector.cabal b/liquid-vector.cabal
--- a/liquid-vector.cabal
+++ b/liquid-vector.cabal
@@ -1,6 +1,6 @@
 cabal-version:      1.24
 name:               liquid-vector
-version:            0.12.3.1.2
+version:            0.13.1.0.1
 synopsis:           LiquidHaskell specs for the vector package
 description:        LiquidHaskell specs for the vector package.
 license:            BSD3
@@ -19,10 +19,10 @@
   exposed-modules:    Data.Vector_LHAssumptions
   hs-source-dirs:     src
   build-depends:      base          < 5
-                    , vector               >= 0.12.3.1 && < 0.14
-                    , liquidhaskell        >= 0.9.2.5
+                    , vector               >= 0.13.1.0 && < 0.14
+                    , liquidhaskell        >= 0.9.2.8
   default-language:   Haskell2010
   default-extensions: PackageImports
   if impl(ghc >= 8.10)
-    ghc-options: -fplugin=LiquidHaskell -fplugin-opt=LiquidHaskell:--no-positivity-check
+    ghc-options: -fplugin-opt=LiquidHaskell:--no-positivity-check
 
diff --git a/src/Data/Vector_LHAssumptions.hs b/src/Data/Vector_LHAssumptions.hs
--- a/src/Data/Vector_LHAssumptions.hs
+++ b/src/Data/Vector_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.Vector_LHAssumptions where