diff --git a/liquid-base.cabal b/liquid-base.cabal
--- a/liquid-base.cabal
+++ b/liquid-base.cabal
@@ -1,8 +1,8 @@
 cabal-version:      1.24
 name:               liquid-base
-version:            4.14.3.0
-synopsis:           Drop-in base replacement for LH
-description:        Superseded by liquidhaskell >= 9.2
+version:            4.15.0.0
+synopsis:           Drop-in base replacement for LiquidHaskell
+description:        Drop-in base replacement for LiquidHaskell.
 license:            BSD3
 license-file:       LICENSE
 copyright:          2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.
@@ -23,7 +23,7 @@
                     src/Control/*.spec
 
 custom-setup
-  setup-depends: Cabal<4, base<5, liquidhaskell
+  setup-depends: Cabal, base, liquidhaskell
 
 library
   exposed-modules:  Control.Applicative
@@ -244,9 +244,9 @@
                     Liquid.Prelude.Totality
 
   hs-source-dirs:     src
-  build-depends:      base                 == 4.14.3.0
+  build-depends:      base                 == 4.15.0.0
                     , liquid-ghc-prim
-                    , liquidhaskell        >= 0.8.10.7.1 && < 0.9
+                    , liquidhaskell        >= 0.8.10.1
   if impl(ghc < 9)
     build-depends:    integer-gmp < 1.0.4.0
   default-language:   Haskell2010
diff --git a/src/Data/Typeable.hs b/src/Data/Typeable.hs
--- a/src/Data/Typeable.hs
+++ b/src/Data/Typeable.hs
diff --git a/src/Foreign/ForeignPtr.spec b/src/Foreign/ForeignPtr.spec
--- a/src/Foreign/ForeignPtr.spec
+++ b/src/Foreign/ForeignPtr.spec
@@ -3,7 +3,7 @@
 import GHC.ForeignPtr
 import Foreign.Ptr
 
-Foreign.ForeignPtr.withForeignPtr :: forall a b. fp:(GHC.ForeignPtr.ForeignPtr a) 
+GHC.ForeignPtr.withForeignPtr :: forall a b. fp:(GHC.ForeignPtr.ForeignPtr a) 
   -> ((PtrN a (fplen fp)) -> GHC.Types.IO b) 
   -> (GHC.Types.IO b)