diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Changelog for the [`ghc-typelits-extra`](http://hackage.haskell.org/package/ghc-typelits-extra) package
 
+# 0.5.4 *May 13th 2026*
+* Bump ghc-tcplugin-api to prepare for inclusion into stackage
+
 # 0.5.3 *March 19th 2026*
 * Do not require equality to unit constraint for wanted InEqs for `CLog` and `CLogWZ`.
 * Fix wrong reification from `CLogWZ` to `CLog` causing GHC panic. [#71](https://github.com/clash-lang/ghc-typelits-extra/issues/71)
diff --git a/ghc-typelits-extra.cabal b/ghc-typelits-extra.cabal
--- a/ghc-typelits-extra.cabal
+++ b/ghc-typelits-extra.cabal
@@ -1,6 +1,6 @@
 cabal-version:       3.0
 name:                ghc-typelits-extra
-version:             0.5.3
+version:             0.5.4
 synopsis:            Additional type-level operations on GHC.TypeLits.Nat
 description:
   Additional type-level operations on @GHC.TypeLits.Nat@:
@@ -74,7 +74,7 @@
                        containers                >= 0.5.7.1  && <0.9,
                        ghc                       >= 8.8      && <9.17,
                        ghc-prim                  >= 0.5      && <1,
-                       ghc-tcplugin-api          >= 0.18.1.0 && <0.19,
+                       ghc-tcplugin-api          >= 0.19     && <0.20,
                        ghc-typelits-knownnat     >= 0.7.2    && <0.9,
                        ghc-typelits-natnormalise >= 0.9.5    && <0.10,
                        transformers              >= 0.4.2.0  && <0.7,
diff --git a/src/GHC/TypeLits/Extra/Solver.hs b/src/GHC/TypeLits/Extra/Solver.hs
--- a/src/GHC/TypeLits/Extra/Solver.hs
+++ b/src/GHC/TypeLits/Extra/Solver.hs
@@ -84,10 +84,11 @@
 
 normalisePlugin :: TcPlugin
 normalisePlugin =
-  TcPlugin { tcPluginInit    = lookupExtraDefs
-           , tcPluginSolve   = decideEqualSOP
-           , tcPluginRewrite = extraRewrite
-           , tcPluginStop    = const (return ())
+  TcPlugin { tcPluginInit     = lookupExtraDefs
+           , tcPluginSolve    = decideEqualSOP
+           , tcPluginRewrite  = extraRewrite
+           , tcPluginPostTc   = const (return ())
+           , tcPluginShutdown = const (return ())
            }
 
 extraRewrite :: ExtraDefs -> UniqFM TyCon TcPluginRewriter