diff --git a/cabal.project b/cabal.project
index e25a1cd2..a81612f5 100644
--- a/cabal.project
+++ b/cabal.project
@@ -28,3 +28,17 @@ package hedgehog-quickcheck
   ghc-options: -Wall -Werror
 package hedgehog-test-laws
   ghc-options: -Wall -Werror
+
+if impl(ghc >= 9.12)
+  allow-newer:
+    , assoc:base
+    , bifunctors:template-haskell
+    , boring:base
+    , hashable:base
+    , indexed-traversable:base
+    , splitmix:base
+    , th-abstraction:template-haskell
+    , time:template-haskell
+    , transformers:base
+    , unordered-containers:template-haskell
+    , vector-stream:ghc-prim
diff --git a/hedgehog-example/hedgehog-example.cabal b/hedgehog-example/hedgehog-example.cabal
index 426e6ff6..9df1de05 100644
--- a/hedgehog-example/hedgehog-example.cabal
+++ b/hedgehog-example/hedgehog-example.cabal
@@ -57,7 +57,7 @@ library
     , containers                      >= 0.4        && < 0.8
     , directory                       >= 1.0        && < 1.4
     , filepath                        >= 1.3        && < 1.6
-    , hashtables                      >= 1.2        && < 1.4
+    , hashtables                      >= 1.2        && < 1.5
     , lifted-base                     >= 0.2        && < 0.3
     , mmorph                          >= 1.0        && < 1.3
     , mtl                             >= 2.1        && < 2.4
@@ -66,7 +66,7 @@ library
     , process                         >= 1.2        && < 1.7
     , QuickCheck                      >= 2.7        && < 2.16
     , resourcet                       >= 1.1        && < 1.4
-    , template-haskell                >= 2.10       && < 2.23
+    , template-haskell                >= 2.10       && < 2.24
     , temporary                       >= 1.3        && < 1.4
     , temporary-resourcet             >= 0.1        && < 0.2
     , text                            >= 1.1        && < 2.2
diff --git a/hedgehog/hedgehog.cabal b/hedgehog/hedgehog.cabal
index 942bc1cd..ea9a6d36 100644
--- a/hedgehog/hedgehog.cabal
+++ b/hedgehog/hedgehog.cabal
@@ -71,7 +71,7 @@ library
     , resourcet                       >= 1.1        && < 1.4
     , safe-exceptions                 >= 0.1        && < 0.2
     , stm                             >= 2.4        && < 2.6
-    , template-haskell                >= 2.10       && < 2.23
+    , template-haskell                >= 2.10       && < 2.24
     , text                            >= 1.1        && < 2.2
     , time                            >= 1.4        && < 1.15
     , transformers                    >= 0.5        && < 0.7