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.1.2
+version:            0.12.3.1
 synopsis:           LiquidHaskell specs for the vector package
 description:        LiquidHaskell specs for the vector package.
 license:            BSD3
@@ -15,7 +15,7 @@
 data-files:           src/Data/Vector.spec
 
 custom-setup
-  setup-depends: Cabal, base, liquidhaskell
+  setup-depends: Cabal<4, base<5, liquidhaskell
 
 library
   exposed-modules:    Data.Vector.Internal.Check
@@ -45,10 +45,11 @@
                       Data.Vector.Mutable
                       Data.Vector
   hs-source-dirs:     src
-  build-depends:      liquid-base          < 4.15
-                    , vector               >= 0.12.1.2 && < 0.13
-                    , liquidhaskell        >= 0.8.10.1
+  build-depends:      liquid-base          < 4.16
+                    , vector               >= 0.12.3.1 && < 0.13
+                    , liquidhaskell        >= 0.9.0.2
   default-language:   Haskell2010
   default-extensions: PackageImports
   if impl(ghc >= 8.10)
-    ghc-options: -fplugin=LiquidHaskell
+    ghc-options: -fplugin=LiquidHaskell -fplugin-opt=LiquidHaskell:--no-positivity-check
+